Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
Primary LanguageTLAMIT LicenseMIT