Title: Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover
Subjects: Distributed processing, Electronic data processing, Real-time data processing