Logical specification and analysis of fault tolerant systems through partial model checking

MaRDI QIDQ2849551zbMATH OpenFDO

Authors S. Gnesi, G. Lenzini, F. Martelli

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104053241

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formally verifying fault tolerant system designs
• scientific article; zbMATH DE number 3890717
• scientific article; zbMATH DE number 1543325
• Design and verification of fault tolerant systems with CSP
• Relational characterizations of system fault tolerance

Cited in

(12)

• Simulation relations for fault-tolerance
• Factorizing fault tolerance.
• Relational characterizations of system fault tolerance
• dCTL: a branching time temporal logic for fault-tolerant system verification
• scientific article; zbMATH DE number 3890717 (Why is no real title available?)
• Faulty Logic: Reasoning about Fault Tolerant Programs
• Design and Verification of Fault-Tolerant Components
• scientific article; zbMATH DE number 1262889 (Why is no real title available?)
• scientific article; zbMATH DE number 1444728 (Why is no real title available?)
• Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
• Logical Aspects of Computational Linguistics
• Automated analysis of fault-tolerance in distributed systems

This page was built for publication: Logical specification and analysis of fault tolerant systems through partial model checking

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