On the Completeness of Model Checking
No abstract available.
Related papers
- An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking VMCAI 2009
- euforia: Complete Software Model Checking with Uninterpreted Functions VMCAI 2019
- Incremental and Complete Bounded Model Checking for Full PLTL CAV 2005
- Relative Completeness of Abstraction Refinement for Software Model Checking TACAS 2002
- Completeness and Complexity of Bounded Model Checking VMCAI 2004
- Linear Completeness Thresholds for Bounded Model Checking CAV 2011
- Polyregular Model Checking CAV 2025
- On the complexity of checking transactional consistency OOPSLA 2019