Sua avaliação

TLA+ Tools

Editor:
Versão:
2.1.3 (última versão)
TLA+ Tools
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.

Veja também

Adicionar comentário

Comentários

Comentar
Ortografia alternativa: tla.zip-2.1.3