| Paketname | maria |
| Beschreibung | reachability analyzer for Algebraic System Nets |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 1.3.5-2 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 1124 Byte |
| Hängt ab von | libc6 (>= 2.3.4), libgcc1 (>= 1:4.1.1), libncurses5 (>= 5.6+20071006-3), libreadline6, libstdc++6 (> |
| Empfohlene Pakete | maria-doc, lbt, graphviz |
| Paketbetreuer | Ralf Treinen |
| Quelle | |
| Paketgröße | 374940 Byte |
| Prüfsumme MD5 | d0cb64bc11d70950c63bf0c0bc986861 |
| Prüfsumme SHA1 | 24da7d2647dc3bfece4a51521c9d5f320d491b70 |
| Prüfsumme SHA256 | aa7a0722e928624597ec678a9b967215efec0bd5c158602d5a050a6462d2f6db |
| Link zum Herunterladen | maria_1.3.5-2_i386.deb |
| Ausführliche Beschreibung | Maria is a powerful tool designed to aid engineers in modelling and
solving concurrency related problems in parallel and distributed
computing systems.
.
Maria finds deadlocks and violations against safety or liveness
requirements by exploring all states that can be reached from the
initial state of a system. The tool manages tens or hundreds of
millions of reachable states and enabled actions.
.
The expressive power of Maria's formalism is close to high-level
programming languages, thanks to its rich data type system and
powerful algebraic operations.
|