Predicate Abstraction via Symbolic Decision Procedures
No abstract available.
Related papers
- A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs VMCAI 2006
- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction VMCAI 2010
- Simplification by Cooperating Decision Procedures TOPLAS 1979
- Deciding Boolean Separation Logic via Small Models TACAS 2024
- A Simplifier Based on Efficient Decision Algorithms POPL 1978
- Monadic second-order logic on finite sequences POPL 2017
- Making prophecies with decision predicates POPL 2011
- Range Allocation for Separation Logic CAV 2004