Package: mona (1.4-18-1) [debports]

Links for mona

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [www.brics.dk]

Similar packages:

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

Other Packages Related to mona

depends

recommends

suggests

enhances

dep: libc6 (>= 2.16)

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 (>= 11)

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	Package Size	Installed Size	Files
x32 (unofficial port)	307.2 kB	1,198.0 kB	[list of files]