TLA ben írt könyvtárak
Examples
Változó összetettségű TLA+ specifikációk gyűjteménye (a tlaplus által).
- 1.1k
- GNU General Public License v3.0
DrTLAPlus
Dr. TLA+ sorozat - tanuljon meg egy algoritmust és protokollt, tanulmányozzon egy specifikációt.
- 757
BlockingQueue
Oktatóanyag „A hetekig tartó hibakeresés órákat takaríthat meg a TLA+-ból”. Minden git commit új koncepciót vezet be =>ellenőrizze a git előzményeit! (Lemmy által).
- 465
- MIT
CommunityModules
A TLA+ közösség által biztosított és gondozott TLA+ kódrészletek, operátorok és modulok.
- 228
- MIT
pgo
A PGo egy forrás-forrás fordító a Modular PlusCal specifikációiból a Go programokba.
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Specifikációk és modellek a DeadlockEmpire problémák megoldásához TLA+ és TLC használatával.
- 18