Automatic abstraction using generalized model checking
From MaRDI portal
Recommendations
- Model checking guided abstraction and analysis
- scientific article; zbMATH DE number 2110619
- Model checking and abstraction
- Verification, Model Checking, and Abstract Interpretation
- Abstraction and Refinement in Model Checking
- The abstraction-refinement framework in model checking
- Refining and compressing abstract model checking
- Automatic verification by abstract interpretation
- An efficient approach for abstraction-refinement in model checking
Cited in
(32)- A local approach for temporal model checking of Java bytecode
- A generalized semantics of PROMELA for abstract model checking
- An abstraction-refinement framework for trigger querying
- Compositional verification and 3-valued abstractions join forces
- Approximate verification of strategic abilities under imperfect information
- A framework for compositional verification of multi-valued systems via abstraction-refinement
- When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus
- Abstraction and abstraction refinement
- Latticed Simulation Relations and Games
- LTL Generalized Model Checking Revisited
- Mixed Transition Systems Revisited
- Automatic Synthesis of Assumptions for Compositional Model Checking
- Automatic Abstraction for Congruences
- Multi-valued model checking games
- Improved model checking of hierarchical systems
- Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis
- Automata-Based Abstraction Refinement for µHORS Model Checking
- Model Checking Using Generalized Testing Automata
- Multi-valued verification of strategic ability
- Compositional verification of the generalized nonblocking property using abstraction and canonical automata
- Smaller Abstractions for ∀CTL* without Next
- Better Under-Approximation of Programs by Hiding Variables
- CONTROLLABILITY AND COOPERATIVENESS ANALYSIS FOR AUTOMATIC ABSTRACTION REFINEMENT
- Correct Hardware Design and Verification Methods
- Refinement of Kripke Models for Dynamics
- Verification by augmented abstraction: The automata-theoretic view
- Automating the functional correspondence between higher-order evaluators and abstract machines
- The modal logic of abstraction refinement
- Data structures for symbolic multi-valued model-checking
- Model checking computation tree logic over finite lattices
- On model checking multiple hybrid views
- 3-valued abstraction: More precision at less cost
This page was built for publication: Automatic abstraction using generalized model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4804892)
