References
John Rushby and Friedrich von Henke. Formal verification of algorithms for critical systems. IEEE Transactions on Software Engineering, 19(1):13–23, Jan. 1993.
John Rushby. A formally verified algorithm for clock synchronization under a hybrid fault model. In Thirteenth ACMSymposium on Principles of Distributed Computing, pages 304–313, Los Angeles, CA, August 1994. Association for Computing Machinery.
Natarajan Shankar. Mechanical verification of a generalized protocol for Byzantine fault-tolerant clock synchronization. In J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of Lecture Notes in Computer Science, pages 217–236, Nijmegen, The Netherlands, January 1992. Springer-Verlag.
Paul S. Miner. Verification of fault-tolerant clock synchronization systems. NASA Technical Paper 3349, NASA Langley Research Center, Hampton, VA, Nov. 1993.
Paul S. Miner, Shyamsundar Pullela, and Steven D. Johnson. Interaction of formal design systems in the development of a fault-tolerant clock synchronization circuit. In 13th Symposium on Reliable Distributed Systems, pages 128–137, Dana Point, CA, October 1994. IEEE Computer Society.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dolev, D., Reischuk, R., Schneider, F.B. et al. Report Dagstuhl Seminar on Time Services Schloß Dagstuhl, March 11. – March 15. 1996. Real-Time Systems 12, 329–345 (1997). https://doi.org/10.1023/A:1007957331469
Issue Date:
DOI: https://doi.org/10.1023/A:1007957331469