|
|
TLA Toolbox: Linux 64-bit |
An integrated development environment for writing and checking TLA+ specifications. Last published: February 28, 2013.
An integrated development environment for writing and checking TLA+ specifications.
Files
|
|
Status: LiveThis download is still available on microsoft.com. The downloads below will come directly from the Microsoft Download Center. |
System Requirements
Operating Systems: Linux
- Linux
Installation Instructions
- Click Download and follow the instructions.