Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover

Distributed processingElectronic data processingReal-time data processing

For young readers