Model-checking over multi-valued logics
From MaRDI portal
Recommendations
- Implementing a multi-valued symbolic model checker
- Multi-valued model checking via classical model checking.
- Computation tree logic model checking based on multi-valued possibility measures
- \({\mathcal X}\)Chek: A multi-valued model-checker
- Efficient multiple-valued model-checking using lattice representations
Cited in
(18)- Quantitative model checking of linear-time properties based on generalized possibility measures
- Computation tree logic model checking based on multi-valued possibility measures
- Model checking of linear-time properties in multi-valued systems
- A framework for compositional verification of multi-valued systems via abstraction-refinement
- Implementing a multi-valued symbolic model checker
- Model Checking Value-Passing Modal Specifications
- Latticed Simulation Relations and Games
- Application of Wu's method to multi-valued model checking
- Don't know for multi-valued systems
- Reducing model checking from multi-valued \(\text{CTL}^{\ast}\) to \(\text{CTL}^{\ast}\)
- Efficient multiple-valued model-checking using lattice representations
- \({\mathcal X}\)Chek: A multi-valued model-checker
- Model checking for nondeterministic multi-valued Kripke structures
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications
- Multi-valued model checking via classical model checking.
- Multi-valued logic for static analysis and model checking
- Data structures for symbolic multi-valued model-checking
This page was built for publication: Model-checking over multi-valued logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763963)
