Starydark/PaxosStore-tla
Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
TLAMIT
Stargazers
- 0x5459
- alg-njuNanjing University
- andrewlee302Meta
- apples0226
- BinyuHuang-njuNanjing University
- CalvinNeo@pingcap
- dranovSingapore
- flex1988Beijing, China
- HappyCS-GuNanjing University
- l236
- ljy2010a
- lmsreborn
- nzooherd
- picknum
- sambacha@manifoldfinance
- skyaskerHangZhou China
- tangwzShenzhen, China.
- tchaikovyet another startup
- timothyklim
- xxhdx1985126Qianxin
- zmxnv1Beijing,China