Paket: maria (1.3.5-6 und andere)

[ Quellcode: maria  ]

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.

Markierungen: Software-Entwicklung: Testen und QS, Feld: Mathematik, Benutzer-Schnittstellen: interface::commandline, interface::text-mode, Rolle: Programm, Zweck: Hilfswerkzeug, GUI-Baukasten: Ncurses TUI

Andere Pakete mit Bezug zu maria

• dep: libc6 (>= 2.38) [nicht alpha, ia64, sh4]

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

• dep: libc6.1 (>= 2.37) [ia64]

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb

  dep: libc6.1 (>= 2.38) [alpha]

• dep: libgcc-s1 (>= 3.5) [armel, armhf]

  GCC Support-Bibliothek

  dep: libgcc-s1 (>= 4.2) [ia64]

  dep: libgcc-s1 (>= 4.3) [riscv64]

• dep: libreadline8t64 (>= 6.0)

  GNU readline- und History-Bibliotheken, Laufzeitbibliotheken

• dep: libstdc++6 (>= 4.6)

  GNU-Implementierung der Standard-C++-Bibliothek (Version 3)

• rec: graphviz

  Große Sammlung von Werkzeugen für das Graphzeichnen

• rec: lbt

  Konvertiert LTL-Formeln zu Büchi-Automaten

• rec: maria-doc

  Dokumentation zu Maria

maria herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	1.3.5-6	342,6 kB	1.396,0 kB	[Liste der Dateien]
amd64	1.3.5-6	361,6 kB	1.134,0 kB	[Liste der Dateien]
arm64	1.3.5-6	321,6 kB	1.202,0 kB	[Liste der Dateien]
armel	1.3.5-6	285,8 kB	997,0 kB	[Liste der Dateien]
armhf	1.3.5-6	295,5 kB	757,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	1.3.5-6	310,7 kB	1.057,0 kB	[Liste der Dateien]
i386	1.3.5-6	383,5 kB	1.301,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	1.3.5-4.2+b1	445,0 kB	2.446,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	1.3.5-6	303,6 kB	1.073,0 kB	[Liste der Dateien]
mips64el	1.3.5-6	311,1 kB	1.351,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	1.3.5-6	366,2 kB	1.650,0 kB	[Liste der Dateien]
ppc64el	1.3.5-6	368,4 kB	1.458,0 kB	[Liste der Dateien]
riscv64	1.3.5-6	359,6 kB	974,0 kB	[Liste der Dateien]
s390x	1.3.5-6	367,0 kB	1.254,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	1.3.5-6	359,8 kB	946,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	1.3.5-6	278,3 kB	1.205,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	1.3.5-6	365,8 kB	1.109,0 kB	[Liste der Dateien]