Библиотеки, написанные на TLA
Examples
Коллекция спецификаций TLA+ различной сложности (от tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
Учебник «Недели отладки могут сэкономить вам часы TLA+». Каждый коммит git вводит новую концепцию =>проверьте историю git! (от Лемми).
- 465
- MIT
pgo
PGo — это компилятор исходного кода из спецификаций Modular PlusCal в программы Go.
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Спецификации и модели для решения задач DeadlockEmpire с помощью TLA+ и TLC.
- 18