Evidence-based model checking

DOI10.1007/3-540-45657-0_37MaRDI QIDQ4804916zbMATH OpenFDO

Authors Li Tan, Rance Cleaveland

Publication date 1 May 2003

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/2404/24040455.htm

zbMATH Keywords

diagnostic informationmodel checkingmu-calculustemporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Certifying model checkers
• scientific article; zbMATH DE number 910719
• Symbolic model checking: \(10^{20}\) states and beyond
• Model-checking. A tutorial introduction
• From model checking to a temporal proof

Cited in

(7)

• Producing explanations for rich logics
• TOrPEDO : witnessing model correctness with topological proofs
• MetaVal: witness validation via verification
• scientific article; zbMATH DE number 1930738 (Why is no real title available?)
• Integrating topological proofs with model checking to instrument iterative design
• Instantiation for Parameterised Boolean Equation Systems
• Operations on fixpoint equation systems

This page was built for publication: Evidence-based model checking

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