Formal Verification of Consensus in the Taurus Distributed Database
Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang
Topics & Concepts
Computer scienceCorrectnessModel checkingConcurrencyFormal verificationConcurrency controlFormal methodsKey (lock)Distributed computingDatabaseProgramming languageAbstractionTheoretical computer scienceDatabase transactionOperating systemPhilosophyEpistemologyDistributed systems and fault toleranceFormal Methods in VerificationPetri Nets in System Modeling