Title: Design and verificationof distributed network algorithms