Experience with Predicate Abstraction
Abstract elided by the publisher.
Related papers
- Predicate abstraction for software verification POPL 2002
- Completeness for a First-Order Abstract Separation Logic APLAS 2016
- Neural Network-Guided Synthesis of Recursive List Functions TACAS 2023
- Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates CAV 2003
- Impredicative Concurrent Abstract Predicates ESOP 2014
- Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists VMCAI 2005
- Counterexamples with Loops for Predicate Abstraction CAV 2006
- Non-disjunctive Numerical Domain for Array Predicate Abstraction ESOP 2008