Paket: mona (1.4-18-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.34)

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

• dep: libgcc-s1 (>= 3.5)

  GCC Support-Bibliothek

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

  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
armel	1.4-18-1+b1	260,9 kB	1.383,0 kB	[Liste der Dateien]