SMT Techniques for Fast Predicate Abstraction
Abstract elided by the publisher.
Related papers
- Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution CAV 2016
- Predicate Abstraction for Linked Data Structures VMCAI 2016
- IC3 Modulo Theories via Implicit Predicate Abstraction TACAS 2014
- Augmenting Model-Based Instantiation with Fast Enumeration TACAS 2025
- Program verification using templates over predicate abstraction PLDI 2009
- Rocket-Fast Proof Checking for SMT Solvers TACAS 2008
- Fast, Flexible, and Minimal CTL Synthesis via SMT CAV 2016
- Modular SMT Proofs for Fast Reflexive Checking Inside Coq CPP 2011