Formal Verification of Consensus in the Taurus Distributed Database.

Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang

Browse the full FM paper archive.