[ Source: maria ]
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:
Analyzátor dosažitelnosti pro algebraický systém Nets
Maria je mocný nástroj vytvořený pro pomoc inženýrům v modelování a řešení souběžných problémů v paralelních a distribuovaných počítačových systémech.
Maria nalezne mrtvá místa a porušení bezpečnosti nebo životnosti. Toho docílí analýzou všech možných stavů, které mohou nastat od počátečního stavu. Nástroj pracuje s desítkami či stovkami miliónů možných stavů a na jejich základě vykonává určité akce.
Důležitou vlastností Maria je blízkost programovacím jazykům vyšší úrovně. Obsahuje totiž bohatý systém datových typů a užitečných algebraických operací.
Other Packages Related to maria
|
|
|
|
-
- dep: libc6 (>= 2.34)
- Knihovna GNU C: Sdílené knihovny
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- Knihovna pro překladač GCC
-
- dep: libreadline8t64 (>= 6.0)
- Knihovny GNU readline a GNU history, běhové knihovny
-
- dep: libstdc++6 (>= 4.6)
- GNU Standard C++ Library v3
Download maria
| Architecture | Version | Package Size | Installed Size | 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] |
| i386 | 1.3.5-4.2+b1 | 408.4 kB | 1,346.0 kB | [list of files] |
| mips64el | 1.3.5-4.2+b1 | 329.0 kB | 1,395.0 kB | [list of files] |
| ppc64el | 1.3.5-4.2+b1 | 393.1 kB | 1,500.0 kB | [list of files] |
| s390x | 1.3.5-4.2+b1 | 395.1 kB | 1,316.0 kB | [list of files] |