scientific article; zbMATH DE number 1444728

zbMATH Open0956.68083MaRDI QIDQ4952308FDOQ4952308

Authors: Nikolaj Bjørner, Uri Lerner, Zohar Manna 

Publication date: 12 March 2001

Title of this publication is not available (Why is that?)

Recommendations

• Logical specification and analysis of fault tolerant systems through partial model checking
• A case study on parametric verification of failure detectors
• Formally verifying fault tolerant system designs
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 1538039

zbMATH Keywords

fault-tolerant systemsuniform compassion

Mathematics Subject Classification ID

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

Cited In (8)

• A case study on parametric verification of failure detectors
• Formal Approaches to Software Testing
• Temporal Verification of Fault-Tolerant Protocols
• Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
• Parametric verification of a group membership algorithm
• Design and Verification of Fault-Tolerant Components
• A case study in the mechanical verification of fault tolerance
• Deductive verification of alternating systems

This page was built for publication:

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