Paket: mona (1.4-17-1 und andere)

[ Quellcode: mona  ]

Theorem-Beweiser auf Grundlage von Automaten

Das Werkzeug MONA übersetzt in den Logiken WS1S oder WS2S beschriebene Formeln in endliche Zustandsautomaten, die mit BDDs dargestellt werden. Die Formeln können Suchmuster, zeitlichen Eigenschaften reaktiver Systeme, Bedingungen von Parse-Bäumen usw. darstellen. MONA untersucht die resultierenden Automaten und stellt fest, ob die Formel gültig ist. Wenn die Formel nicht gültig ist, erzeugt MONA ein Gegenbeispiel.

Dokumentation finden Sie auf der Website von MONA: http://www.brics.dk/mona/.

Markierungen: Feld: Mathematik, Rolle: Programm, Zweck: Hilfswerkzeug

Andere Pakete mit Bezug zu mona

• dep: libc6 (>= 2.14) [amd64]

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

  dep: libc6 (>= 2.17) [arm64]

  dep: libc6 (>= 2.7) [armhf, i386]

• dep: libgcc1 (>= 1:3.0) [nicht armhf]

  GCC Support-Bibliothek

  dep: libgcc1 (>= 1:3.5) [armhf]

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

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

• rec: graphviz

  Große Sammlung von Werkzeugen für das Graphzeichnen

mona herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	1.4-17-1+b1	388,6 kB	1.381,0 kB	[Liste der Dateien]
arm64	1.4-17-1+b1	354,3 kB	1.355,0 kB	[Liste der Dateien]
armhf	1.4-17-1+b1	347,7 kB	938,0 kB	[Liste der Dateien]
i386	1.4-17-1+b1	395,7 kB	1.331,0 kB	[Liste der Dateien]