A Direct Algorithm for Multi-valued Bounded Model Checking

DOI10.1007/978-3-540-88387-6_8MaRDI QIDQ3540066zbMATH OpenOpenAlexFDO

Authors Jefferson O. Andrade, Yukiyoshi Kameyama

Publication date 20 November 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-88387-6_8

Mathematics Subject Classification ID

Many-valued logic (03B50) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automata, Languages and Programming
• Multi-valued model checking via classical model checking.
• scientific article; zbMATH DE number 1701772
• scientific article; zbMATH DE number 2042616
• Data structures for symbolic multi-valued model-checking

Cites work

• scientific article; zbMATH DE number 1701772 (Why is no real title available?)
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 1863178 (Why is no real title available?)
• scientific article; zbMATH DE number 956839 (Why is no real title available?)
• A structure-preserving clause form translation
• Data structures for symbolic multi-valued model-checking

Cited in

(3)

• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Creating Büchi automata for multi-valued model checking
• Directed Model Checking for B: An Evaluation and New Techniques

Describes a project that uses

Uses Software

• DIMACS

This page was built for publication: A Direct Algorithm for Multi-valued Bounded Model Checking

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