Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking
No abstract available.
Related papers
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques CAV 2002
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays TACAS 2021
- Race checking by context inference PLDI 2004
- Assume-Guarantee Abstraction Refinement for Probabilistic Systems CAV 2012
- YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution) TACAS 2018
- Predicate abstraction and CEGAR for higher-order model checking PLDI 2011
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking CAV 2013
- Input-Based Three-Valued Abstraction Refinement VMCAI 2026