Treffpunkt Mathematik
Der Treffpunkt Mathematik bietet Ihnen die Möglichkeit, offene Fragen aus Übungen und Vorlesung zu stellen sowie den Lernstoff zu vertiefen. Die Veranstaltung ist für Sie ein freiwilliges Angebot. Organisiert wird der Kurs durch den Fachbereich Mathematik.
Es werden Konzepte aus der Vorlesung wiederholt sowie Herangehensweisen in klassischen Übungsaufgaben eingeübt. An geeigneter Stelle soll die Mathematik zudem durch Anwendungen motiviert werden.
Der Treffpunkt findet ab der zweiten Vorlesungswoche immer
Dienstags, von 11:40 Uhr bis 13:10 Uhr im Raum S101/A01
statt.
Der erste Treffpunkt findet also am 29.04.2025.
- Dozent*in: Fabio Leotta
Kursinhalt:
- Modellierung und Modellprüfung (Modelchecking) mit LTL
- Modellierung nebenläufiger und verteilter Software/Algorithmen/Protokolle
- Spezifikation und formale Verifikation der Modelle (z.B. korrekte Ressourcennutzung)
- Deduktive Softwareverifikation
- Spezifikation von konkreten sequentiellen Implementierungen (nicht nur Modellen)
- Formale Beweisführung, dass die Implementierungen ihrer Spezifikation genügen
Ein Schwerpunkt des Kurses ist u.a. die praktische Umsetzung der theoretischen Grundlagen mit Hilfe der Verifikationswerkzeuge: SPIN und KeY
- Dozent*in: Richard Bubel
- Dozent*in: Daniel Drodt