Lehre
Leitung
Kontakt
Sekretariat
Lehre
Lehre
Lehrveranstaltungen
Wintersemester 2025 / 2026
2.01.455
Model Checking
2.01.496
Weak Memory Models
2.01.800-B
Proseminar Programmanalyse
2.01.801-B
Forschungsseminar Formale Methoden
2.01.803
Interactive Theorem Proving
2.01.AM-22
Oberseminar Formale Methoden
Verfügbare Abschlussarbeiten
Bachelor
- ARG ManipulationStatus: verfügbar, Kontakt: Nicola Anna Thoben
- Learning ContractsStatus: verfügbar, Kontakt: Nicola Anna Thoben
Laufende Abschlussarbeiten
Bachelor
- ACSL2CStatus: reserviert, Kontakt: Nicola Anna Thoben
- From incorrectness logic proofs to violation witnessesStatus: reserviert, Kontakt: Prof. Dr. Heike Wehrheim
Abgeschlossene Abschlussarbeiten
2025
- Program logic for the weak memory model of C11Status: abgeschlossen, Kontakt: Prof. Dr. Heike Wehrheim
2023
- Hey ChatGPT! Please verify my program.Status: abgeschlossen, Kontakt: Cedric Richter
- Identitätstransformationen zum Testen von VerifikationswerkzeugenStatus: abgeschlossen, Kontakt: Cedric Richter
- Klassifikation von Online-VerifikationsmerkmalenStatus: abgeschlossen, Kontakt: Jan Frederik Haltermann, M. Sc.
- Simulation einer operationellen Semantik eines schwachen SpeichermodellsStatus: abgeschlossen, Kontakt: Prof. Dr. Heike Wehrheim