Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol.

Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali

Browse the full FM paper archive.