Itp2024 Paper

May 22, 2024

2024

Our paper “Modular Verification of Intrusive List and Tree Data Structures in Separation Logic “ got accepted to ITP 2024!



Found This Interesing?

Here are some more posts you might like to read next:

  • Co-Leibniz Identity for Decidability
  • Not all Contradictions are created equal
  • Conveniently computing Bézout Coefficients
  • 🚴🏻‍♀️ Do finite Functions cycle 🚴🏿 together? 🚴‍♂️