Geeks
xiamengyu
/
Parallel-Raft-tla
Specifying and Verfying concensus algorithms in PolarDB using TLA+
Primary Language
TLA
MIT License
MIT
Parallel-Raft-tla GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Parallel-Raft-tla
Specifying and Verfying concensus algorithms in PolarDB using TLA+