Verification of distributed real-time and fault-tolerant protocols
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 261-275
- https://doi.org/10.1007/bfb0000476
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Verifying hybrid systems modeled as timed automata: A case studyPublished by Springer Nature ,1997
- On the semantics of group communicationPublished by Springer Nature ,1996
- Formal Techniques in Real-Time and Fault-Tolerant SystemsPublished by Springer Nature ,1996
- Atomic Broadcast: From Simple Message Diffusion to Byzantine AgreementInformation and Computation, 1995
- Representing, verifying and applying software development steps using the PVS systemPublished by Springer Nature ,1995
- Compositional verification of a distributed real-time arbitration protocolReal-Time Systems, 1994
- Specifying and verifying fault-tolerant systemsPublished by Springer Nature ,1994
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992
- Reaching agreement on processor-group membrship in synchronous distributed systemsDistributed Computing, 1991
- Specification and Compositional Verification of Real-Time SystemsPublished by Springer Nature ,1991