TLA+ Toolbox
by Microsoft Corporation
TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools
TLA+ is a high-level language for modeling programs and systems. It is useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.
The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools. Use it to:
- Create and edit your specs, with the locations of parsing errors marked in the modules
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code
- View the pretty-printed versions of your modules
- Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
- Run the TLA+ proof system
Changes in version 1.7.1
about 2 years ago
Installed Size~311 MB
Download Size180 MB
Available Architecturesx86_64
Installs1,674
LicenseMIT License
Project Websitehttps://lamport.azurewebsites.net/tla/tla.html
Report an Issuehttps://github.com/tlaplus/tlaplus/issues
Other apps by Microsoft Corporation
Installs over time
Manual Install
Make sure to follow the setup guide before installing
flatpak install flathub org.lamport.tla.toolbox
Run
flatpak run org.lamport.tla.toolbox