Formal Verification of Consensus in the Taurus Distributed Database.
Song GaoBohua ZhanDepeng LiuXuechao SunYanan ZhiDavid N. JansenLijun ZhangPublished in: FM (2021)
Keyphrases
- formal verification
- distributed databases
- model checking
- automated verification
- distributed environment
- bounded model checking
- transaction processing
- model checker
- distributed database systems
- data warehousing
- concurrency control
- data replication
- replicated data
- symbolic model checking
- concurrency control protocols
- multi agent
- fault tolerance
- distributed systems
- expert systems