all options
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Source: maria  ]

Package: maria (1.3.5-4)

Links for maria

Screenshot

Debian Resources:

Download Source Package maria:

Maintainers:

External Resources:

Similar packages:

Erreichbarkeitsanalyse für Netze algebraischer Systeme

Maria ist ein leistungsfähiges Werkzeug, das entworfen wurde, um Ingenieuren bei der Modellierung und Lösung nebenläufiger Probleme in parallelen und verteilten Computersystemen zu helfen.

Maria findet (gegenseitige) Blockaden (Deadlocks) und Verstöße gegen die Sicherheit oder die garantierten Reaktionszeiten, indem es alle Zustände, die vom Ausgangszustand des Systems erreicht werden können, untersucht. Das Werkzeug verwaltet Dutzende oder Hunderte von Millionen erreichbarer Zustände und aktivierter Aktionen.

Die beeindruckende Kraft von Marias Formalismus nähert sich dank seines großen Systems von Datentypen und leistungsfähigen algebraischen Operationen der von höheren Programmiersprachen.

Tags: Software Development: Testing and QA, Field: Mathematics, User Interface: interface::text-mode, role::program, Scope: Utility, Interface Toolkit: Ncurses TUI

Other Packages Related to maria

  • depends
  • recommends
  • suggests
  • enhances

Download maria

Download for all available architectures
Architecture Package Size Installed Size Files
armel 360.6 kB1,068.0 kB [list of files]