Bibliothèques écrites en TLA
Examples
Une collection de spécifications TLA+ de complexité variable (par tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
Tutoriel "Des semaines de débogage peuvent vous faire économiser des heures de TLA+". Chaque git commit introduit un nouveau concept =>vérifiez l'historique de git! (par lemy).
- 465
- MIT
CommunityModules
Extraits de code, opérateurs et modules TLA+ contribués et organisés par la communauté TLA+.
- 228
- MIT
pgo
PGo est un compilateur source à source des spécifications Modular PlusCal aux programmes Go.
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Spécifications et modèles pour résoudre les problèmes de DeadlockEmpire en utilisant TLA+ et TLC.
- 18