TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Home Page:http://research.microsoft.com/en-us/um/people/lamport/tla/tlc.html
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool