Alster 0.7
Der Dialog Alster ermöglicht es, Formeln der Aussagebnlogik auf Erfüllbarkeit zu prüfen
und die Halteeigenschaft von While-Programme zu testen.
Einzelheiten Das Programm steht nach der Benutzeranmeldung in einem Dialogfenster bereit und es lassen sich Formeln oder Programme eingeben. Nach Druck auf den Inspect-Button erfolgt die Prüfung mit Ausgabe des Analyseergebnisses.
Erfüllbarkeit, Halteproblem
Beispiele Quellcodebibliothek
