Geeks
Starydark
/
Paxos-Refinement
Using TLA+ to verify paxos in a hierarchical structure.
Primary Language
TLA
Paxos-Refinement GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Paxos-Refinement
Using TLA+ to verify paxos in a hierarchical structure.