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)