thegloves / tlaplus Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tlaplus/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Home Page: https://lamport.azurewebsites.net/tla/tla.html
License: MIT License