[ 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:
teorem-bevisførelse baseret på automat
MONA er et værktøj som oversætter formler i logikken fra WS1S eller WS2S til automater med finitte tilstande repræsenteret af BDD'er. Formlerne kan udtrykke søgemønstre, temporale egenskaber fra reaktive systemer, begrænsninger i fortolkningstræer, osv. MONA analyserer også den automat, der resulterer fra kompileringen, afgør om formlen er gyldig og genererer, forudsat at formlen er gyldig, et modeksempel.
Dokumentationen er tilgængelig fra MONAs hjemmeside, http://www.brics.dk/mona/.
Other Packages Related to mona
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0) [not armel, armhf]
- GCC støttebibliotek
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
-
- dep: libstdc++6 (>= 11)
- GNU Standard C++ bibliotek v3
-
- rec: graphviz
- Rigt sæt af graftegneværktøjer
Download mona
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 1.4-18-1+b1 | 317.1 kB | 1,394.0 kB | [list of files] |
| arm64 | 1.4-18-1+b1 | 284.0 kB | 1,583.0 kB | [list of files] |
| armel | 1.4-18-1+b1 | 260.9 kB | 1,383.0 kB | [list of files] |
| armhf | 1.4-18-1+b1 | 269.3 kB | 1,146.0 kB | [list of files] |
| i386 | 1.4-18-1+b1 | 326.8 kB | 1,362.0 kB | [list of files] |
| mips64el | 1.4-18-1+b1 | 292.6 kB | 1,987.0 kB | [list of files] |
| ppc64el | 1.4-18-1+b1 | 325.0 kB | 1,929.0 kB | [list of files] |
| s390x | 1.4-18-1+b1 | 286.8 kB | 1,462.0 kB | [list of files] |