Instances of schneider's generalized protocol of clock synchronization. Available on the web, 2005. ,
The PROSPER toolkit, Proceedings of TACAS'03, number 1785 in LNCS, pp.78-92, 2003. ,
FlexRay Communications System Protocol Specification Version 2, 2004. ,
Disk paxos, DISC '00: Proceedings of the 14th International Conference on Distributed Computing, pp.330-344, 2000. ,
Synchronizing clocks in the presence of faults, Journal of the ACM, vol.32, issue.1, pp.52-78, 1985. ,
DOI : 10.1145/2455.2457
A new fault-tolerant algorithm for clock synchronization, Proceedings of the third annual ACM symposium on Principles of distributed computing , PODC '84, pp.75-88, 1984. ,
DOI : 10.1145/800222.806738
Verification of fault-tolerant clock synchronization systems, NASA Technical Paper, vol.3349, 1993. ,
A construction of distributed reference counting, Acta Informatica, vol.37, issue.8, pp.563-595, 2001. ,
DOI : 10.1007/PL00013315
The SMT-LIB standard : Version 1, 2005. ,
Understanding protocols for Byzantine clock synchronization, 1987. ,
Mechanical verification of clock synchronization algorithms, Formal Techniques in Real-Time and Fault-Tolerant Systems, number 1486 in LNCS, pp.262-271, 1998. ,
DOI : 10.1007/BFb0055353
Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization, Lecture Notes in Computer Science, vol.571, pp.217-236, 1992. ,
DOI : 10.1007/3-540-55092-5_12
Proof development with omega, CADE, pp.144-149, 2002. ,
The TPTP problem library, Journal of Automated Reasoning, vol.21, issue.2, pp.177-203, 1998. ,
DOI : 10.1007/3-540-58156-1_18
Calife: A Generic Graphical User Interface for Automata Tools, Electronic Notes in Theoretical Computer Science, vol.110, pp.169-172, 2004. ,
DOI : 10.1016/j.entcs.2004.06.004
A formalization of a generalized clock synchronization protocol in Isabelle, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00102104