Multi-valued model checking via classical model checking.

DOI10.1007/B11938MaRDI QIDQ5900571zbMATH OpenOpenAlexFDO

Authors Arie Gurfinkel, Marsha Chechik

Publication date 30 March 2010

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

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

Mathematics Subject Classification ID

Many-valued logic (03B50) Specification and verification (program logics, model checking, etc.) (68Q60) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Recommendations

• scientific article; zbMATH DE number 1693429
• Computation tree logic model checking based on multi-valued possibility measures
• Automata, Languages and Programming
• scientific article; zbMATH DE number 1701772
• Logic Programming

Cited in

(29)

• Computation tree logic model checking based on multi-valued possibility measures
• Don't know for multi-valued systems
• Model checking for nondeterministic multi-valued Kripke structures
• A framework for compositional verification of multi-valued systems via abstraction-refinement
• scientific article; zbMATH DE number 1693429 (Why is no real title available?)
• scientific article; zbMATH DE number 1905120 (Why is no real title available?)
• Model checking of linear-time properties in multi-valued systems
• Multi-valued model checking games
• scientific article; zbMATH DE number 1701772 (Why is no real title available?)
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Logic Programming
• Data structures for symbolic multi-valued model-checking
• scientific article; zbMATH DE number 1863178 (Why is no real title available?)
• Temporal specifications with accumulative values
• Multi-valued logic for static analysis and model checking
• A Weighted μ-Calculus on Words
• scientific article; zbMATH DE number 1927565 (Why is no real title available?)
• Model checking computation tree logic over finite lattices
• Automata, Languages and Programming
• Integrating topological proofs with model checking to instrument iterative design
• Automated Technology for Verification and Analysis
• Application of Wu's method to multi-valued model checking
• Bonsai: cutting models down to size
• A Direct Algorithm for Multi-valued Bounded Model Checking
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Multi-valued verification of strategic ability
• Co-algebraic models for quantitative spatial logics
• TOrPEDO : witnessing model correctness with topological proofs
• Model checking fuzzy computation tree logic

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)