Multi-valued model checking via classical model checking.
From MaRDI portal
Recommendations
Cited in
(29)- TOrPEDO : witnessing model correctness with topological proofs
- 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
- Model-checking over multi-valued logics
- Implementing a multi-valued symbolic model checker
- Co-algebraic models for quantitative spatial logics
- Temporal specifications with accumulative values
- Bonsai: cutting models down to size
- A Direct Algorithm for Multi-valued Bounded Model Checking
- A Weighted μ-Calculus on Words
- Application of Wu's method to multi-valued model checking
- Don't know for multi-valued systems
- Multi-valued model checking games
- 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
- Multi-valued verification of strategic ability
- Integrating topological proofs with model checking to instrument iterative design
- Model checking fuzzy computation tree logic
- Model checking for nondeterministic multi-valued Kripke structures
- Model checking with multi-valued logics
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Logic Programming
- Automated Technology for Verification and Analysis
- Multi-valued logic for static analysis and model checking
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- Data structures for symbolic multi-valued model-checking
- Model checking computation tree logic over finite lattices
This page was built for publication: Multi-valued model checking via classical model checking.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5900571)
