Model Checking Guided Abstraction and Analysis
No abstract available.
Related papers
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases TACAS 2004
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays TACAS 2021
- Lazy Self-composition for Security Verification CAV 2018
- Software Model Checking via Summary-Guided Search OOPSLA 2025
- A Practitioner's Guide to MDP Model Checking Algorithms TACAS 2023
- Transition Power Abstractions for Deep Counterexample Detection TACAS 2022
- Abstraction refinement guided by a learnt probabilistic model POPL 2016