Abstraction Refinement for Bounded Model Checking
No abstract available.
Related papers
- YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution) TACAS 2018
- Accelerated Bounded Model Checking Using Interpolation Based Summaries TACAS 2024
- Software Model Checking with Abstraction Refinement VMCAI 2003
- Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) TACAS 2021
- Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking SAS 2001
- Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking TACAS 2006
- Combining Abstraction Refinement and SAT-Based Model Checking TACAS 2007
- Concrete Model Checking with Abstract Matching and Refinement CAV 2005