Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol.

Jean-Paul Bodeveix Julien Brunel David Chemouil Mamoun Filali

Published in: FM (2019)

Keyphrases

formal analysis
lightweight
communication protocol
multi agent
database
model checking
authentication protocol
network simulator
databases
cooperative
theorem prover
security protocols
application layer
network protocols