using:toolbox

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.

Start the Toolbox, create your first specification in PlusCal, run TLC and have it verify a (safety) property.

  • using/toolbox.txt
  • Last modified: 2024/10/10 11:13
  • by fponzi