Efficient Decision Procedures for Heaps Using STRAND
Abstract elided by the publisher.
Related papers
- Decision Procedure for Entailment of Symbolic Heaps with Arrays APLAS 2017
- A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs VMCAI 2006
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures VMCAI 2007
- Decidable logics combining heap structures and data POPL 2011
- Separation Logic Modulo Theories APLAS 2013
- Deciding Boolean Separation Logic via Small Models TACAS 2024
- Deciding memory safety for single-pass heap-manipulating programs POPL 2020
- Modular reasoning about heap paths via effectively propositional formulas POPL 2014