Package: maria (1.3.5-4.2 and others)
Links for maria
Debian Resources:
Download Source Package maria:
Maintainers:
External Resources:
- Homepage [www.tcs.hut.fi]
Similar packages:
analizzatore di raggiungibilità per reti ASN (Algebraic System Nets)
Maria è un potente strumento pensato per aiutare i progettisti a modellare e risolvere i problemi legati alla concorrenza su sistemi paralleli e distribuiti.
Esplorando tutti gli stati raggiungibili dallo stato iniziale di un sistema, Maria trova le condizioni di stallo e le violazioni dei requisiti di sicurezza o di "liveness". Può gestire decine o centinaia di milioni di stati raggiungibili e azioni abilitate.
Il potere espressivo del formalismo usato da Maria è vicino a quello dei linguaggi di programmazione ad alto livello, grazie alla sua ricchezza di tipi e alle potenti operazioni algebriche.
Other Packages Related to maria
|
|
|
|
-
- dep: libc6 (>= 2.34) [not alpha, ia64, sh4]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.37) [sh4]
-
- dep: libc6.1 (>= 2.34) [alpha]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [sparc64]
- libreria di supporto a GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [ia64]
- dep: libgcc-s1 (>= 4.3) [riscv64]
-
- dep: libncurses6 (>= 6) [sparc64]
- librerie condivise per la gestione del terminale
-
- dep: libreadline8t64 (>= 6.0)
- librerie GNU readline ed history, librerie eseguibili
-
- dep: libstdc++6 (>= 4.6)
- libreria GNU Standard C++, versione 3
-
- dep: libtinfo6 (>= 6) [sparc64]
- libreria condivisa di basso livello terminfo per la gestione del terminale
Download maria
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
alpha (unofficial port) | 1.3.5-4.2+b1 | 372.2 kB | 1,437.0 kB | [list of files] |
amd64 | 1.3.5-4.2+b1 | 387.8 kB | 1,160.0 kB | [list of files] |
arm64 | 1.3.5-4.2+b1 | 339.2 kB | 1,180.0 kB | [list of files] |
armel | 1.3.5-4.2+b1 | 302.1 kB | 1,015.0 kB | [list of files] |
armhf | 1.3.5-4.2+b1 | 313.0 kB | 747.0 kB | [list of files] |
hppa (unofficial port) | 1.3.5-4.2+b1 | 341.0 kB | 1,118.0 kB | [list of files] |
i386 | 1.3.5-4.2+b1 | 408.4 kB | 1,346.0 kB | [list of files] |
ia64 (unofficial port) | 1.3.5-4.2+b1 | 445.0 kB | 2,446.0 kB | [list of files] |
m68k (unofficial port) | 1.3.5-4.2+b1 | 246.9 kB | 922.0 kB | [list of files] |
mips64el | 1.3.5-4.2+b1 | 329.0 kB | 1,395.0 kB | [list of files] |
ppc64 (unofficial port) | 1.3.5-4.2+b1 | 388.8 kB | 1,694.0 kB | [list of files] |
ppc64el | 1.3.5-4.2+b1 | 393.1 kB | 1,500.0 kB | [list of files] |
riscv64 | 1.3.5-4.2+b1 | 380.5 kB | 992.0 kB | [list of files] |
s390x | 1.3.5-4.2+b1 | 395.1 kB | 1,316.0 kB | [list of files] |
sh4 (unofficial port) | 1.3.5-4.2+b1 | 322.4 kB | 858.0 kB | [list of files] |
sparc64 (unofficial port) | 1.3.5-4.2+b1 | 299.8 kB | 1,185.0 kB | [list of files] |
x32 (unofficial port) | 1.3.5-4.2+b1 | 377.0 kB | 1,107.0 kB | [list of files] |