TLA+ Toolbox is a free and open source TLA+ IDE for Windows, Linux and MacOS. TLA+ is a high-level language for modeling programs and systems.Using TLA+ Toolbox you can create and edit your specs, and run the PlusCal translator. It also comes with a option to view the pretty-printed versions of your modules. Some other useful features are TLC model checker, explorer an error trace , evaluating arbitrary formulas, TLA+ proof system and more.
How to Install TLA+ Toolbox on Ubuntu Linux
TLA+ Toolbox is available as a flatpak package and native .deb file format. First install flatpak and flathub on your system and restart your system after the installation.
Now open the terminal tool using ctrl+alt+t and run below TLA+ Toolbox flatpak install command. It will install the latest version of TLA+ Toolbox on your system.
flatpak install flathub org.lamport.tla.toolbox
After the installation you can open it using the below command.
flatpak run org.lamport.tla.toolbox
And uninstall it using
sudo flatpak uninstall org.lamport.tla.toolbox
Install TLA+ Toolbox via DEB:
Download TLA+ Toolbox in .deb file format and save the file in your Downloads folder. Here “TLAToolbox-1.7.1-linux.gtk.amd64.deb” is the downloaded file name. you can change the below command based on your file name and file path. In terminal run below command.
sudo apt install ./Downloads/TLAToolbox-1.7.1-linux.gtk.amd64.deb