 | Caixa de ferramentas TLA.Um ambiente de desenvolvimento integrado para escrever e verificar as especificações do TLA + |
| Baixe Agora | |
Caixa de ferramentas TLA. Classificação e resumo
Propaganda
- Licença:
- Freeware
- Nome do editor:
- Microsoft Research
- Sistemas operacionais:
- Windows XP / Vista / 7
- Tamanho do arquivo:
- 48.6 MB
Caixa de ferramentas TLA. Tag
Caixa de ferramentas TLA. Descrição
O TLA + é um idioma de especificação que é projetado para ajudar na criação de especificações de alto nível para sistemas distribuídos e simultâneos. O TLA Toolbox é o IDE que foi projetado para permitir que você use o Verificador de Modelo TLC e o TLAPs, bem como o sistema TLA + Proof para criar e verificar as especificações do TLA +.
Caixa de ferramentas TLA. Software Relacionado
Exportar tabela para texto para acesso
permite converter tabelas de acesso especificadas para arquivos de texto. ...
603 KB
