Counterexamples with Loops for Predicate Abstraction
Abstract elided by the publisher.
Related papers
- Probabilistic Abstractions with Arbitrary Domains SAS 2011
- Path invariants PLDI 2007
- EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution) TACAS 2025
- Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop CAV 2006
- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis SAS 2020
- Predicate abstraction and CEGAR for higher-order model checking PLDI 2011
- Predicate abstraction for software verification POPL 2002
- Race checking by context inference PLDI 2004