Refining Approximations in Software Predicate Abstraction
Abstract elided by the publisher.
Related papers
- Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement CAV 2004
- Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop CAV 2006
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking CAV 2013
- Race checking by context inference PLDI 2004
- Regular Reinforcement Learning CAV 2024
- Predicate abstraction and refinement for verifying multi-threaded programs POPL 2011
- Path invariants PLDI 2007
- Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) TACAS 2021