Parallele Systeme
Eine Werkzeugsammlung zur Prüfung endlicher Modelle
|
AnsprechpartnerIn:
Eike.Best
Wird bearbeitet von Jan Jelschen Kurzbeschreibung: Der Vortrag beschreibt die Implementierung einer erweiterbaren Werkzeugsammlung zur Prüfung endlicher Modelle. |
Zusammenfassung der Abschluss-Präsentation
Der Vortrag beschreibt die Implementierung einer erweiterbaren Werkzeugsammlung zur Prüfung endlicher Modelle. Zu den umgesetzten Werkzeugen gehört die Möglichkeit, prädikatenlogische Formeln in einem Modell auszuwerten, sowie Strukturen auf Äquivalenz zu prüfen. Für die letztgenannte Anwendung wurde das Ehrenfeucht-Fraïssé-Spiel implementiert, eine spieltheoretische Beweistechnik, bei der ein Spieler versucht, die Äquivalenz zweier Strukturen zu beweisen, während der Gegenspieler bestrebt ist, diese zu widerlegen.