Title: Formal verification of a fault tolerant clock synchronization algorithm
Subjects: Clock synchronization algorithm