TLA+ Toolbox 1.5.2 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible. Ce logiciel gratuit a été à l'origine produit par Leslie Lamport. Ce logiciel se trouve dans la sous-catégorie IDE de Outils de développement.
Du développeur:
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.
Peut-être voudriez-vous essayer également des logiciels en rapport avec TLA+ Toolbox ? Nous vous proposons MAMP PRO, TeXworks ou SendToX.