microsoft
/
CCF
зеркало из https://github.com/microsoft/CCF.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность
CCF/tla
История
Heidi Howard 5f816ca077
Fixing TLA+ specifications (#3965) 		2022-10-11 22:17:51 +01:00
..
.gitignore Fixing TLA+ specifications (#3965) 2022-10-11 22:17:51 +01:00
MCraft.cfg Fixing TLA+ specifications (#3965) 2022-10-11 22:17:51 +01:00
MCraft.tla Fixing TLA+ specifications (#3965) 2022-10-11 22:17:51 +01:00
MCraftWithReconfig.tla Fixing TLA+ specifications (#3965) 2022-10-11 22:17:51 +01:00
README.md Fixing TLA+ specifications (#3965) 2022-10-11 22:17:51 +01:00
ccfraft.tla Fixing TLA+ specifications (#3965) 2022-10-11 22:17:51 +01:00
download_or_update_tla.sh Fixing TLA+ specifications (#3965) 2022-10-11 22:17:51 +01:00
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.