The abstraction-refinement framework in model checking
From MaRDI portal
Recommendations
- 2-valued and 3-valued abstraction-refinement in model checking
- Tools and Algorithms for the Construction and Analysis of Systems
- A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
- Abstraction and Refinement in Model Checking
- A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.
Cited in
(17)- A generalized semantics of PROMELA for abstract model checking
- 2-valued and 3-valued abstraction-refinement in model checking
- Abstraction and Refinement in Model Checking
- scientific article; zbMATH DE number 1948409 (Why is no real title available?)
- scientific article; zbMATH DE number 1979542 (Why is no real title available?)
- Automata-Based Abstraction Refinement for µHORS Model Checking
- scientific article; zbMATH DE number 1863177 (Why is no real title available?)
- scientific article; zbMATH DE number 1903350 (Why is no real title available?)
- A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
- Tools and Algorithms for the Construction and Analysis of Systems
- A type-directed abstraction refinement approach to higher-order model checking
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- Model Checking Software
- A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.
- Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker
- An efficient approach for abstraction-refinement in model checking
This page was built for publication: The abstraction-refinement framework in model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5435632)
