Abschlussarbeiten
Eine Bachelor oder Masterarbeit kann
- direkt im Rahmen eines am Fachgebiet durchgeführten Forschungsprojekts oder
- in Kooperation mit ausgewählten industriellen Partnern oder Forschungsinstituten
durchgeführt werden.
Themen
Folgende Themengebiete bieten eine grobe Übersicht an möglichen Arbeiten.
- Mechanisierung einer Actor-Semantik im Theorembeweiser Isabelle/HOL
- Refactorings für Programmier- und Spezifikationssprachen (z.B. Object-Z und JML)
- Model Checking für hierarchische Zustandssysteme (z.B. Statecharts)
- Eigenschaftserhaltende Abstraktionen zur Analyse unendlicher Zustandssysteme
- Refactorings für Information Flow Control Sprachen (z.B. Jif, Erweiterung von Java)