Important! Selecting a language below will dynamically change the complete page content to that language.
An integrated development environment for writing and checking TLA+ specifications. Last published: February 28, 2013.
TLAToolbox-1.4.5-linux.gtk.x86_64.zip
-
An integrated development environment for writing and checking TLA+ specifications.
Supported Operating System
Linux
-
- Click Download and follow the instructions.