Teaching
Head
Secretary
Teaching
Lectures
Summer term 2024
2.01.801-B
Forschungsseminar Formale Methoden
2.01.AM-40
Oberseminar Formale Methoden
Available Theses
Bachelor's
- Aktives Lernen für InvariantenStatus: available, Contact: Jan Frederik Haltermann, M. Sc.
- Dekomposition von k-InduktionStatus: available, Contact: Jan Frederik Haltermann, M. Sc.
- From incorrectness logic proofs to violation witnessesStatus: available, Contact: Prof. Dr. Heike Wehrheim
- Safer code generation with ChatGPT and Formal VerificationStatus: available, Contact: Cedric Richter
Master's degree
- Building verification benchmarks like FrankensteinStatus: available, Contact: Cedric Richter
- Explaining neural bug detectors with minimal working examplesStatus: available, Contact: Cedric Richter
Currently Assigned Final Theses
Master's degree
- Program logic for the weak memory model of C11Status: reserved, Contact: Prof. Dr. Heike Wehrheim
Finished Theses
2023
- Hey ChatGPT! Please verify my program.Status: completed, Contact: Cedric Richter
- Identitätstransformationen zum Testen von VerifikationswerkzeugenStatus: completed, Contact: Cedric Richter
- Klassifikation von Online-VerifikationsmerkmalenStatus: completed, Contact: Jan Frederik Haltermann, M. Sc.
- Simulation einer operationellen Semantik eines schwachen SpeichermodellsStatus: completed, Contact: Prof. Dr. Heike Wehrheim