Topics for Thesis
Head
Secretary
Topics for Thesis
We offer various topics for Bachelor and Master thesis, some of which can be found below. You are also welcome to contact one of the group members to ask for other topics.
Open Topics
Bachelor's
- Aktives Lernen für InvariantenStatus: available, Contact: Jan Frederik Haltermann, M. Sc.
- Decomposition of k-inductionStatus: available, Contact: Jan Frederik Haltermann, M. Sc.
- ArrayBMC for proving array programs incorrectStatus: reserved, Contact: Jan Frederik Haltermann, M. Sc.; Cedric Richter
Master's degree
- Building verification benchmarks like FrankensteinStatus: available, Contact: Cedric Richter
- Concurrent incorrectness proof calculusStatus: available, Contact: Prof. Dr. Heike Wehrheim
Ongoing Theses
Bachelor's
- Lokalität von Persistenter LinearizierbarkeitStatus: assigned, Contact: Prof. Dr. Heike Wehrheim
- Simulation einer operationellen Semantik eines schwachen SpeichermodellsStatus: assigned, Contact: Prof. Dr. Heike Wehrheim
Completed Theses
2023
- Identitätstransformationen zum Testen von VerifikationswerkzeugenStatus: completed, Contact: Cedric Richter
- Klassifikation von Online-VerifikationsmerkmalenStatus: completed, Contact: Jan Frederik Haltermann, M. Sc.