Abschlussarbeiten
Leitung
Kontakt
Sekretariat
Abschlussarbeiten
Wir bieten verschiedene Themen für Bachelor und Masterarbeiten an. Die folgende Liste enthält einige Vorschläge. Bei Interesse an einer Arbeit in unserer Gruppe können Sie auch gerne direkt jemanden aus der Gruppe ansprechen.
Verfügbare Arbeiten
Bachelor
- Aktives Lernen für InvariantenStatus: verfügbar, Kontakt: Jan Frederik Haltermann, M. Sc.
- ArrayBMC zur Fehleranalyse von Array ProgrammenStatus: verfügbar, Kontakt: Jan Frederik Haltermann, M. Sc.; Cedric Richter
- 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
Master
- Building verification benchmarks like FrankensteinStatus: verfügbar, Kontakt: Cedric Richter
- Concurrent incorrectness proof calculusStatus: verfügbar, Kontakt: Prof. Dr. Heike Wehrheim
- Explaining neural bug detectors with minimal working examplesStatus: verfügbar, Kontakt: Cedric Richter
Laufende Arbeiten
Bachelor
- Hey ChatGPT! Please verify my program.Status: reserviert, Kontakt: Cedric Richter
- Simulation einer operationellen Semantik eines schwachen SpeichermodellsStatus: vergeben, Kontakt: Prof. Dr. Heike Wehrheim
Abgeschlossene Arbeiten
2023
- Identitätstransformationen zum Testen von VerifikationswerkzeugenStatus: abgeschlossen, Kontakt: Cedric Richter
- Klassifikation von Online-VerifikationsmerkmalenStatus: abgeschlossen, Kontakt: Jan Frederik Haltermann, M. Sc.
- Lokalität von Persistenter LinearizierbarkeitStatus: abgeschlossen, Kontakt: Prof. Dr. Heike Wehrheim