[ 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:
dimostratore di teoremi basato su automi
MONA è uno strumento che traduce formule dalle logiche WS1S o WS2S in automi a stati finiti rappresentati da BDD. Le formule possono esprimere schemi di ricerca, proprietà temporali di sistemi reattivi, vincoli di alberi sintattici, ecc. MONA analizza anche l'automa risultante dalla compilazione e determina se la formula è valida e, in caso contrario, genera un controesempio.
La documentazione è disponibile sul sito di MONA: http://www.brics.dk/mona/.
Other Packages Related to mona
|
|
|
|
-
- dep: libc6 (>= 2.34)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0)
- libreria di supporto a GCC
-
- dep: libstdc++6 (>= 13.1)
- libreria GNU Standard C++, versione 3
-
- rec: graphviz
- ricco insieme di strumenti per il disegno di grafi
Download mona
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| riscv64 | 1.4-18-1+b1 | 428.2 kB | 2,685.0 kB | [list of files] |