Automating Separation Logic with Trees and Data
Abstract elided by the publisher.
Related papers
- Embedding Hindsight Reasoning in Separation Logic PLDI 2023
- Strong-separation Logic TOPLAS 2022
- Automated lemma synthesis in symbolic-heap separation logic POPL 2018
- Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic CPP 2024
- Fully Automated Shape Analysis Based on Forest Automata CAV 2013
- Automated Verification of Shape and Size Properties Via Separation Logic VMCAI 2007
- Natural proofs for data structure manipulation in C using separation logic PLDI 2014
- Generically Automating Separation Logic by Functors, Homomorphisms, and Modules POPL 2025