Repositories

tlaplus Repositories

1 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
tlaplus/tlaplusJava

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Letzter Commit 15. Jan. 2024

 (2.153 Stars) (179 Forks) (33 indexierte Issues) (32 offene good first issues)