tautomaton/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
JavaMIT
Stargazers
No one’s star this repository yet.
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
JavaMIT
No one’s star this repository yet.