Show pageOld revisionsBacklinksBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== TLA+ Toolbox ====== The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools. Users who would prefer a more lightweight IDE for TLA+ may want to try the Visual Studio Code extension for TLA+. However, it lacks many of the Toolbox's features. * Official page: https://lamport.azurewebsites.net/tla/toolbox.html * Download: https://github.com/tlaplus/tlaplus/releases/latest ===== Getting started ===== Start the Toolbox, create your first specification in PlusCal, run TLC and have it verify a (safety) property. {{youtube>U2FAnyPygrA?}} using/toolbox.txt Last modified: 2024/10/10 09:13by fponzi
fponzi