A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement
No abstract available.
Related papers
- Input-Based Three-Valued Abstraction Refinement VMCAI 2026
- Monotonic Abstraction-Refinement for CTL TACAS 2004
- Generation of Minimum Tree-Like Witnesses for Existential CTL TACAS 2018
- 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
- Counterexample Guided Abstraction Refinement for Stability Analysis CAV 2016
- Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking SAS 2001
- Thread-Modular Counterexample-Guided Abstraction Refinement SAS 2010