| 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
- 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