Mona.

uma ferramenta que traduz fórmulas para autômatos do estado finito
Baixe Agora

Mona. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • GPL
  • Nome do editor:
  • BRICS
  • Sistemas operacionais:
  • Windows All
  • Tamanho do arquivo:
  • 904 KB

Mona. Tag


Mona. Descrição

A Mona é uma utilidade simples que foi criada para fornecer a você um meio de tradução de fórmulas em autômatos do estado finito. As fórmulas podem expressar padrões de busca, propriedades temporais de sistemas reativos, restrições de árvore de análise, etc. Mona analisa o autômato resultante da compilação e imprime "válido" ou um contra-exemplo.


Mona. Software Relacionado