Lehre
Leitung
Kontakt
Sekretariat
Lehre
Lehre
Lehrveranstaltungen
Sommersemester 2024
2.01.801-B
Forschungsseminar Formale Methoden
2.01.AM-40
Oberseminar Formale Methoden
Verfügbare Abschlussarbeiten
Bachelor
- Aktives Lernen für InvariantenStatus: verfügbar, Kontakt: Jan Frederik Haltermann, M. Sc.
- Dekomposition von k-InduktionStatus: verfügbar, Kontakt: Jan Frederik Haltermann, M. Sc.
- From incorrectness logic proofs to violation witnessesStatus: verfügbar, Kontakt: Prof. Dr. Heike Wehrheim
- Safer code generation with ChatGPT and Formal VerificationStatus: verfügbar, Kontakt: Cedric Richter
Master
- Building verification benchmarks like FrankensteinStatus: verfügbar, Kontakt: Cedric Richter
- Explaining neural bug detectors with minimal working examplesStatus: verfügbar, Kontakt: Cedric Richter
Laufende Abschlussarbeiten
Master
- Program logic for the weak memory model of C11Status: reserviert, Kontakt: Prof. Dr. Heike Wehrheim
Abgeschlossene Abschlussarbeiten
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