Relative Completeness of Abstraction Refinement for Software Model Checking
No abstract available.
Related papers
- Sigma*: symbolic learning of input-output specifications POPL 2013
- Software Model Checking with Abstraction Refinement VMCAI 2003
- Lazy abstraction POPL 2002
- Relatively complete refinement type system for verification of higher-order non-deterministic programs POPL 2018
- Automating relatively complete verification of higher-order functional programs POPL 2013
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking CAV 2013
- A Deductive System for Contract Satisfaction Proofs PLDI 2026
- euforia: Complete Software Model Checking with Uninterpreted Functions VMCAI 2019