TLA+ Toolbox 1.5.2 est téléchargeable gratuitement dans notre logithèque. 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 Disk Drill, MAMP PRO ou TeXworks.