"Under the same assumptions made in the Chord papers, the [SIGCOMM] version of the protocol is not correct, and not one of the properties claimed invariant in [PODC] is actually invariantly true of it."
— Mathematical proof

January 1, 1970

Quote Details

Added by wikiquote-import-bot
Added on April 10, 2026
Unverified quote
0 likes
Mathematics
Original Language: English

Sources

On the need of proof analysis in computer science. Zave analyzes the correctness of a w:Distributed hash table protocol (w:Chord protocol) with w:Alloy Analyzer (w:Alloy (specification language)) and w:SPIN model checker.