Data structures for symbolic multi-valued model-checking
From MaRDI portal
Recommendations
Cites work
- \({\mathcal X}\)Chek: A multi-valued model-checker
- A comparative study of various model-theoretic treatments of negation: A history of formal negation
- A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.
- Abstract BDDs: A technique for using abstraction in model checking
- Automatic abstraction using generalized model checking
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Binary Decision Diagrams
- Boolean and Cartesian abstraction for model checking C programs
- Branching Programs and Binary Decision Diagrams
- Data structures for symbolic multi-valued model-checking
- Efficient detection of vacuity in temporal model checking
- Efficient multiple-valued model-checking using lattice representations
- Generalized model checking: Reasoning about partial state spaces
- Graph-Based Algorithms for Boolean Function Manipulation
- GSTE is partitioned model checking
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- scientific article; zbMATH DE number 1390338 (Why is no real title available?)
- scientific article; zbMATH DE number 1446599 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Implementing a multi-valued symbolic model checker
- Introduction to formal hardware verification
- Many-valued logics. 1: Theoretical foundations
- Model checking lattices: using and reasoning about information orders for abstraction
- Model-checking over multi-valued logics
- Multi-valued model checking via classical model checking.
- NuSMV: A new symbolic model verifier
- SCTL-MUS: A formal methodology for software development of distributed systems. A case study
- Static program analysis via 3-valued logic
- Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation
- Temporal-logic queries
- The SLAM toolkit
- Tools and Algorithms for the Construction and Analysis of Systems
- Vacuity detection in temporal model checking
- Verification, Model Checking, and Abstract Interpretation
Cited in
(24)- Quantitative model checking of linear-time properties based on generalized possibility measures
- Symbolic checking of fuzzy CTL on fuzzy program graph
- Multi-robot LTL planning under uncertainty
- TOrPEDO : witnessing model correctness with topological proofs
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization
- Computation tree logic model checking based on multi-valued possibility measures
- Model checking of linear-time properties in multi-valued systems
- A verification-driven framework for iterative design of controllers
- Simulation for lattice-valued doubly labeled transition systems
- Abstraction and approximation in fuzzy temporal logics and models
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
- Implementing a multi-valued symbolic model checker
- Abstraction and abstraction refinement
- A Direct Algorithm for Multi-valued Bounded Model Checking
- Multi-valued model checking games
- Efficient multiple-valued model-checking using lattice representations
- Integrating topological proofs with model checking to instrument iterative design
- Statistical Model Checking for Variability-Intensive Systems
- Model checking fuzzy computation tree logic
- Fuzzy Halpern and Shoham's interval temporal logics
- Incremental model checking for fuzzy computation tree logic
- A review of decision diagrams in system reliability modeling and analysis
- Data structures for symbolic multi-valued model-checking
- Model checking computation tree logic over finite lattices
This page was built for publication: Data structures for symbolic multi-valued model-checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q862857)
