Experiments on a fault tolerant distributed system

MaRDI QIDQ5754538zbMATH OpenFDO

Authors Filippo Pagani

Publication date 22 August 2007

zbMATH Keywords

Kronosmodel checkersPromela

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Design and Verification of Fault-Tolerant Components
• Machine checked proofs of the design of a fault-tolerant circuit
• scientific article; zbMATH DE number 1629970
• Formally verifying fault tolerant system designs
• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann

Cited in

(9)

• Machine checked proofs of the design of a fault-tolerant circuit
• scientific article; zbMATH DE number 1629970 (Why is no real title available?)
• scientific article; zbMATH DE number 1701364 (Why is no real title available?)
• Design and Verification of Fault-Tolerant Components
• Modular redundancy in a message passing system
• scientific article; zbMATH DE number 1069492 (Why is no real title available?)
• A case study in the mechanical verification of fault tolerance
• scientific article; zbMATH DE number 7075887 (Why is no real title available?)
• Public Key Cryptography - PKC 2005

Describes a project that uses

Uses Software

• Kronos

This page was built for publication: Experiments on a fault tolerant distributed system

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