Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR
Abstract elided by the publisher.
Related papers
- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning CAV 2022
- Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) TACAS 2021
- Predicate abstraction and CEGAR for higher-order model checking PLDI 2011
- Input-Based Three-Valued Abstraction Refinement VMCAI 2026
- Finger trees explained anew, and slightly simplified (functional pearl) Haskell 2020
- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution) TACAS 2022
- Lazy Self-composition for Security Verification CAV 2018
- Proof-Guided Underapproximation Widening for Bounded Model Checking CAV 2022