Skip to content

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

License

Notifications You must be signed in to change notification settings

hengxin/paxosstore-tla

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

10 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

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

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • TLA 70.2%
  • TeX 29.8%