Truth -- a verification platform for concurrent systems

MaRDI QIDQ4934536zbMATH OpenFDO

Authors Martin Lange, Martin Leucker, Stephan Tobies, Thomas Noll

Publication date 10 September 2001

zbMATH Keywords

model checking

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1796139
• scientific article; zbMATH DE number 2080188
• scientific article; zbMATH DE number 1633145
• scientific article; zbMATH DE number 1744970
• Automatic and hierarchical verification for concurrent systems

Cited in

(13)

• Enhancing model checking in verification by AI techniques
• Towards a proof method for Paradigm
• Verification of compliance for multilevel models in individual trace semantics
• Verification rules of computerized information system model with respect to data resource processing
• scientific article; zbMATH DE number 2086319 (Why is no real title available?)
• Verification of component-based system using model checking
• Concurrent usage control implementation verification using the SPIN model checker
• CTL Model Checking for Boolean Program
• scientific article; zbMATH DE number 1507198 (Why is no real title available?)
• scientific article; zbMATH DE number 1744970 (Why is no real title available?)
• scientific article; zbMATH DE number 1796139 (Why is no real title available?)
• Integrating topological proofs with model checking to instrument iterative design
• Fundamental Approaches to Software Engineering

This page was built for publication: Truth -- a verification platform for concurrent systems

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