Mechanical verification of clock synchronization algorithms
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 262-271
- https://doi.org/10.1007/bfb0055353
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Mechanical verification of clock synchronization algorithmsPublished by Springer Nature ,1998
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- Predictably Dependable Computing SystemsPublished by Springer Nature ,1995
- TTP-a protocol for fault-tolerant real-time systemsComputer, 1994
- Formal verification of algorithms for critical systemsIEEE Transactions on Software Engineering, 1993
- A new fault-tolerant algorithm for clock synchronizationInformation and Computation, 1988
- Optimal clock synchronizationJournal of the ACM, 1987