Title Verification of Distributed Algorithms