| Paketname | maria |
| Beschreibung | reachability analyzer for Algebraic System Nets |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 1.3.5-2 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 1120 Byte |
| Hängt ab von | libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libncurses5 (>= 5.6+20071006-3), libreadline6, libstdc++6 (>= |
| Empfohlene Pakete | maria-doc, lbt, graphviz |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 378502 Byte |
| Prüfsumme MD5 | 134bf12beb2efca0b6801e91027877ed |
| Prüfsumme SHA1 | a935507622c4a804e219bdd72cfbee0d5cb7af68 |
| Prüfsumme SHA256 | f6c84d2fb8267c2e50279cdef9251f41f7c05c07bb863d3d00ef708561ec462c |
| 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.
|