TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat
Primary LanguageTLAMIT LicenseMIT