Skip to content

Latest commit

 

History

History
8 lines (4 loc) · 287 Bytes

README.md

File metadata and controls

8 lines (4 loc) · 287 Bytes

paxosstore-tla

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

See the PaxosStore@VLDB2017 paper and the open-source Tencent/paxosstore.