TLA+ Tools

Editor:: research.microsoft
Versão:: 2.1.3 (última versão)

Windows XP Windows Vista Windows 7 - Inglês

A TLA kit de ferramentas + contém a) um analisador e verificador de sintaxe para TLA + de especificações; b) um verificador de modelo e simulador para uma subclasse de "executável" TLA + de especificações; c) um programa para composição TLA + de especificações, e d) a + Cal para TLA + tradutor.