[ Source: mona ]
Package: mona (1.4-18-1 and others)
Links for mona
Debian Resources:
Download Source Package mona:
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
|
|
|
|
-
- dep: libc6 (>= 2.34)
- 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
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| mips64el | 1.4-18-1+b1 | 292.6 kB | 1,987.0 kB | [list of files] |