Formal Verification of Multi-Paxos for Distributed Consensus.
Saksham ChandYanhong A. LiuScott D. StollerPublished in: FM (2016)
Keyphrases
- formal verification
- commit protocols
- model checking
- model checker
- automated verification
- distributed systems
- symbolic model checking
- distributed environment
- multi agent
- distributed database systems
- distributed databases
- mobile agents
- fine grained
- mobile phone
- peer to peer
- data management
- data model
- query processing
- mobile devices
- databases