/tlaplus

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

Primary LanguageJavaMIT LicenseMIT

Stargazers

No one’s star this repository yet.