Abstraction-based model checking using modal transition systems
From MaRDI portal
Recommendations
- Abstraction and Refinement in Model Checking
- Model checking and abstraction
- scientific article; zbMATH DE number 2110619
- The abstraction-refinement framework in model checking
- An efficient approach for abstraction-refinement in model checking
- Verification, Model Checking, and Abstract Interpretation
- The role of abstraction in model checking
- Model checking guided abstraction and analysis
- Model-checking and abstraction to the aid of parameterized systems
- Model checking with formula-dependent abstract models
Cited in
(41)- An abstraction-refinement methodology for reasoning about network games
- Abstract model repair for probabilistic systems
- TOrPEDO : witnessing model correctness with topological proofs
- Test generation from event system abstractions to cover their states and transitions
- Unbounded procedure summaries from bounded environments
- Refinement checking on parametric modal transition systems
- A semantic framework for the abstract model checking of tccp programs
- On finite-state approximants for probabilistic computation tree logic
- A framework for compositional verification of multi-valued systems via abstraction-refinement
- Modal transition systems: A foundation for three-valued program analysis
- Modal abstractions of concurrent behavior
- Program specialization for verifying infinite state systems: an experimental evaluation
- Combining model checking and testing
- Modal Abstractions of Concurrent Behaviour
- Model Checking Recursive Programs with Exact Predicate Abstraction
- Mixed Transition Systems Revisited
- Automatic Synthesis of Assumptions for Compositional Model Checking
- MLAT: a tool for heap analysis based on predicate abstraction by modal logic
- Accelerated Modal Abstractions of Labelled Transition Systems
- Don't know for multi-valued systems
- General quantitative specification theories with modal transition systems
- Modal transition systems with weight intervals
- A unifying framework for model checking labeled Kripke structures, modal transition systems, and interval transition systems
- scientific article; zbMATH DE number 1543047 (Why is no real title available?)
- Model checking with formula-dependent abstract models
- Model checking modal transition systems using Kripke structures
- Model-checking view-based partial specifications
- Falsifying safety properties through games on over-approximating models
- Expressiveness and completeness in abstraction
- Integrating topological proofs with model checking to instrument iterative design
- Parametric and quantitative extensions of modal transition systems
- Abstraction in fixpoint logic
- Algebraic Methodology and Software Technology
- Model Checking for Action Abstraction
- Verification, Model Checking, and Abstract Interpretation
- Abstraction for branching time properties.
- Abstraction Modulo Stability for Reverse Engineering
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms
- EXPTIME-completeness of thorough refinement on modal transition systems
- An abstract interpretation toolkit for CRL
- 3-valued abstraction: More precision at less cost
This page was built for publication: Abstraction-based model checking using modal transition systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4791848)
