Model checking with multi-valued logics

DOI10.1007/978-3-540-27836-8_26MaRDI QIDQ5466469zbMATH OpenOpenAlexFDO

Authors Glenn Bruns, Patrice Godefroid

Publication date 24 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99859

Mathematics Subject Classification ID

Temporal logic (03B44) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2042616
• Multi-valued model checking games
• Model checking computation tree logic over finite lattices
• Automated Technology for Verification and Analysis
• Multi-valued model checking via classical model checking.

Cited in

(39)

• Temporal multi-valued logic with lost worlds in the past
• Many-valued multi-modal logics, satisfiability problem
• Symbolic checking of fuzzy CTL on fuzzy program graph
• Quasipolynomial computation of nested fixpoints
• TOrPEDO : witnessing model correctness with topological proofs
• Weighted automata
• Model checking of linear-time properties in multi-valued systems
• Branching time agents logics, satisfiability problem by rules in reduced form
• Abstraction and approximation in fuzzy temporal logics and models
• A framework for compositional verification of multi-valued systems via abstraction-refinement
• Implementing a multi-valued symbolic model checker
• A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
• Abstraction and abstraction refinement
• Model Checking Value-Passing Modal Specifications
• Latticed Simulation Relations and Games
• 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
• scientific article; zbMATH DE number 2042616 (Why is no real title available?)
• Efficient multiple-valued model-checking using lattice representations
• \({\mathcal X}\)Chek: A multi-valued model-checker
• scientific article; zbMATH DE number 2104629 (Why is no real title available?)
• Multi-valued verification of strategic ability
• Integrating topological proofs with model checking to instrument iterative design
• Multi-Valued Reasoning about Reactive Systems
• Creating Büchi automata for multi-valued model checking
• Model checking fuzzy computation tree logic
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Logic Programming
• Automated Technology for Verification and Analysis
• Multi-valued model checking via classical model checking.
• Multi-valued logic for static analysis and model checking
• Efficient Algorithms for Omega-Regular Energy Games
• Positive varieties of lattice languages
• 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: Model checking with multi-valued logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5466469)