Bibliotecas escritas en TLA
Examples
Una colección de especificaciones TLA+ de diferentes complejidades (por tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
Tutorial "Semanas de depuración pueden ahorrarle horas de TLA+". Cada confirmación de git introduce un nuevo concepto =>¡compruebe el historial de git! (por Lemmy).
- 465
- MIT
CommunityModules
Fragmentos, operadores y módulos de TLA+ aportados y seleccionados por la comunidad de TLA+.
- 228
- MIT
pgo
PGo es un compilador fuente a fuente de las especificaciones de Modular PlusCal en los programas Go.
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Especificaciones y modelos para resolver los problemas de DeadlockEmpire usando TLA+ y TLC.
- 18