Zusätzlich zu den hier angegebenen Themenvorschlägen können nach Absprache weitere Themen gefunden werden.
Wenden Sie sich bei Interesse bitte einfach an einen der Mitarbeiter.
Auf der Seite des Lehrstuhls "Anwendungsorientierte Formale Verifikation" von Prof. Beckert finden Sie weitere Themen für studentische Arbeiten.