Pacote: mona (1.4-18-1 e outros)

[ Fonte: mona  ]

verificador de teoremas baseado em autômatos

MONA é uma ferramenta que traduz fórmulas nas lógicas WS1S ou WS2S em autômatos de estado finito representados por BDDs. As fórmulas podem expressar padrões de pesquisa, propriedades temporais de sistemas reativos, restrições de árvores de análise sintática, etc. MONA também analisa o autômato resultante da compilação e determina se a fórmula é válida e, se a fórmula não for válida, gera um contraexemplo.

A documentação está disponível no site web do MONA http://www.brics.dk/mona/.

Etiquetas: Campo: Matemática, Função: Programa, Alcance: Utilitários

Outros pacotes relacionados a mona

• dep: libc6 (>= 2.38)

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  Biblioteca de suporte GCC

• dep: libstdc++6 (>= 14)

  Biblioteca C++ padrão da GNU v3

• rec: graphviz

  rico conjunto de ferramentas de desenho de grafos

Download de mona

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
arm64	1.4-18-1+b2	284.8 kB	1,656.0 kB	[lista de arquivos]