Towards Automated Verification of Distributed Consensus Protocols.

Takahiro Minamikawa Tatsuhiro Tsuchiya Tohru Kikuno

Published in: APSEC (2009)

Keyphrases

automated verification
model checking
distributed systems
distributed environment
automated reasoning
formal verification
cooperative
multi party
mobile agents
multi agent
peer to peer
database replication
computer networks
fault tolerant
temporal logic
concurrency control protocols