TLA+ Toolbox 1.5.2 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. O desenvolvedor do programa é Leslie Lamport. O programa está relacionado como Ferramentas de Desenvolvimento.
Do desenvolvedor:
The TLA Toolbox is an IDE (integrated development environment) for the TLA tools. You can 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.
Confira mais programas, tais como Total Video Converter Pro, TinkerTool System ou CorelDRAW 2019, que podem ser similares a TLA+ Toolbox.