Implementing a multi-valued symbolic model checker

DOI10.1007/3-540-45319-9_28MaRDI QIDQ2769604zbMATH OpenFDO

Authors Marsha Chechik, Benet Devereux, Steve Easterbrook

Publication date 5 February 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2031/20310404

Mathematics Subject Classification ID

Temporal logic (03B44) Many-valued logic (03B50) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-checking over multi-valued logics
• Automata, Languages and Programming
• Data structures for symbolic multi-valued model-checking
• Multi-valued model checking via classical model checking.
• \({\mathcal X}\)Chek: A multi-valued model-checker

Cited in

(14)

• Model-checking over multi-valued logics
• Latticed Simulation Relations and Games
• A Direct Algorithm for Multi-valued Bounded Model Checking
• 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
• scientific article; zbMATH DE number 2102712 (Why is no real title available?)
• Multi-valued verification of strategic ability
• Creating Büchi automata for multi-valued model checking
• Model checking for nondeterministic multi-valued Kripke structures
• Bounded Model Checking for Partial Kripke Structures
• 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: Implementing a multi-valued symbolic model checker

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