Boolean Heaps
Abstract elided by the publisher.
Related papers
- Scalable error detection using boolean satisfiability POPL 2005
- Saturn: A scalable framework for error detection using Boolean satisfiability TOPLAS 2007
- Deciding Boolean Separation Logic via Small Models TACAS 2024
- Strong-Separation Logic ESOP 2021
- Strong-separation Logic TOPLAS 2022
- Quantitative separation logic: a logic for reasoning about probabilistic pointer programs POPL 2019
- Invariant Synthesis for Incomplete Verification Engines TACAS 2018
- Model Checking and Boolean Graphs ESOP 1992