Microsoft Download Center Archive
![]() | TLA+ Tools |
The TLA+ tool kit contains a) a parser and syntax checker for TLA+ specifications; b) a model checker and simulator for a subclass of "executable" TLA+ specifications; c) a program for typesetting TLA+ specifications; and d) a +Cal to TLA+ translator. Last published: February 28, 2013.
- The TLA+ tool kit contains a) a parser and syntax checker for TLA+ specifications; b) a model checker and simulator for a subclass of "executable" TLA+ specifications; c) a program for typesetting TLA+ specifications; and d) a +Cal to TLA+ translator.
Files
![]() | Status: LiveThis download is still available on microsoft.com. The downloads below will come directly from the Microsoft Download Center. |
File | Size |
---|---|
![]() SHA1: 89677c770c1a9dc18d109bd94df3c5f3d2aab533 | 3.16 MB |
File sizes and hashes are retrieved from the Wayback Machine’s indexes. They may not match the latest versions of files hosted on Microsoft servers.
System Requirements
Operating Systems: Windows 10, Windows 7, Windows 8
- Windows 7, Windows 8, or Windows 10
Installation Instructions
- Click Download and follow the instructions.