In TLA geschriebene Bibliotheken
Examples
Eine Sammlung von TLA+-Spezifikationen unterschiedlicher Komplexität (von tlaplus).
- 1.1k
- GNU General Public License v3.0
DrTLAPlus
Dr. TLA+-Serie – lernen Sie einen Algorithmus und ein Protokoll, studieren Sie eine Spezifikation.
- 757
BlockingQueue
Tutorial „Wochenlanges Debuggen kann Ihnen Stunden an TLA+ ersparen“. Jeder Git-Commit führt ein neues Konzept ein =>Überprüfen Sie den Git-Verlauf! (von Lemmy).
- 465
- MIT
CommunityModules
Von der TLA+-Community beigesteuerte und kuratierte TLA+-Snippets, Operatoren und Module.
- 228
- MIT
pgo
PGo ist ein Source-to-Source-Compiler von Modular PlusCal-Spezifikationen in Go-Programme.
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Spezifikationen und Modelle zur Lösung der DeadlockEmpire-Probleme mit TLA+ und TLC.
- 18