[ Quellcode: mona ]
Paket: mona (1.4-17-2)
Links für mona
Debian-Ressourcen:
Quellcode-Paket mona herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [www.brics.dk]
Ähnliche Pakete:
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/.
Andere Pakete mit Bezug zu mona
|
|
|
|
-
- dep: libc6 (>= 2.7)
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libgcc1 (>= 1:3.5)
- Paket nicht verfügbar
-
- 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
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| armel | 250,9 kB | 1.072,0 kB | [Liste der Dateien] |