Supplementary Material for Taurus Verification

This page is for the submission Formal Verification of Consensus in the Taurus Distributed Database For I-Day@FM’21.

The supplementary material includes:

• TLA+ specifications and proofs for Taurus distributed database TaurusSpecs.zip
• Configurations for model checking MCConfig.zip

Please contact Song Gao for any question.