зеркало из https://github.com/microsoft/CCF.git
5f816ca077
|
||
|---|---|---|
| .. | ||
| .gitignore | ||
| MCraft.cfg | ||
| MCraft.tla | ||
| MCraftWithReconfig.tla | ||
| README.md | ||
| ccfraft.tla | ||
| download_or_update_tla.sh | ||
| tlc.sh | ||
README.md
TLA+ specification
This directory contains a formal specification of CCF's variant of Raft in TLA+. For more information, please refer to the CCF documentation: https://microsoft.github.io/CCF/main/architecture/raft_tla.html.