TLA + Tools.

Um kit de ferramentas para a linguagem de especificação TLA + e a linguagem do algoritmo pluscal, juntamente com o seu assoc ...
Baixe Agora

TLA + Tools. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Nome do editor:
  • Microsoft Research
  • Tamanho do arquivo:
  • 3.3 MB

TLA + Tools. Tag


TLA + Tools. Descrição

A TLA + Ferramentas é uma coleção útil de utilitários e componentes que incluem um programa para especificações TLA +, um simulador e um verificador de modelos que tratam de uma subclasse de especificações de TLA + "executáveis". Dentro do pacote TLA + Ferramentas, você também pode encontrar um utilitário PlusCal para TLA + Tradutor, um verificador de sintaxe para especificações TLA +, bem como um analisador.


TLA + Tools. Software Relacionado

Sobre nós