Package: mona (1.4-17-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.14) [amd64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
- dep: libc6 (>= 2.7) [armhf, i386]
-
- dep: libgcc1 (>= 1:3.0) [not armhf]
- libreria di supporto a GCC
- dep: libgcc1 (>= 1:3.5) [armhf]
-
- dep: libstdc++6 (>= 5)
- 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 |
---|---|---|---|---|
amd64 | 1.4-17-1+b1 | 388.6 kB | 1,381.0 kB | [list of files] |
arm64 | 1.4-17-1+b1 | 354.3 kB | 1,355.0 kB | [list of files] |
armhf | 1.4-17-1+b1 | 347.7 kB | 938.0 kB | [list of files] |
i386 | 1.4-17-1+b1 | 395.7 kB | 1,331.0 kB | [list of files] |