Bibliotecas escritas em TLA
Examples
Uma coleção de especificações TLA+ de várias complexidades (por tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
Tutorial "Semanas de depuração podem economizar horas de TLA+". Cada git commit introduz um novo conceito =>verifique o histórico do git! (por lemmy).
- 465
- MIT
CommunityModules
Trechos, operadores e módulos TLA+ fornecidos e selecionados pela comunidade TLA+.
- 228
- MIT
pgo
PGo é um compilador source to source das especificações Modular PlusCal para programas Go.
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Especificações e modelos para resolver os problemas do DeadlockEmpire usando TLA+ e TLC.
- 18