Automating Separation Logic Using SMT
Abstract elided by the publisher.
Related papers
- Verification Algorithms for Automated Separation Logic Verifiers CAV 2024
- SL-COMP: Competition of Solvers for Separation Logic TACAS 2019
- Steel: proof-oriented programming in a dependently typed concurrent separation logic ICFP 2021
- Natural proofs for structure, data, and separation PLDI 2013
- Raven: An SMT-Based Concurrency Verifier CAV 2025
- Modular verification of heap reachability properties in separation logic OOPSLA 2019
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic VMCAI 2017
- Destabilizing Iris PLDI 2025