Formal Verification of Multi-Paxos for Distributed Consensus.

Saksham Chand Yanhong A. Liu Scott D. Stoller

Published in: CoRR (2016)

Keyphrases

formal verification
commit protocols
model checking
automated verification
bounded model checking
multi agent
distributed systems
databases
distributed environment
program slicing
peer to peer
model checker
mobile agents
data collection
mobile devices
metadata
data mining