Formal Verification of the TTP Group Membership Algorithm

Publisher Website

1 January 2000

book chapter
Published by Springer Nature

p. 3-18
https://doi.org/10.1007/978-0-387-35533-7_1

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification
Published by Springer Nature ,2000
Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
IEEE Transactions on Software Engineering, 1995
TTP-a protocol for fault-tolerant real-time systems
Computer, 1994
The infeasibility of quantifying the reliability of life-critical real-time software
IEEE Transactions on Software Engineering, 1993
Clock Synchronization in Distributed Real-Time Systems
IEEE Transactions on Computers, 1987