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