Package: mona (1.4-18-1 and others)

[ Source: 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/.

Tags: Field: Mathematics, Role: Program, Scope: Utility

Other Packages Related to mona

• dep: libc6 (>= 2.38)

  GNU Biblioteca C: Bibliotecas compartilhadas
  also a virtual package provided by 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 mona

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
arm64	1.4-18-1+b2	284.8 kB	1,656.0 kB	[list of files]