• Heuristiken zur Performanzsteigerung der Verifikation induktiver Invarianten
  Vorkenntnisse: Java-Programmierung, formale Verifikation,Graphentheorie sind vorteilhaft jedoch nicht zwingend erforderlich.
  Ansprechpartner: Basil Becker

Für weitere Themen für Masterarbeiten im Bereich Systemanalyse und Modellierung bitte direkt an eine/n Mitarbeiter/in wenden. Im Kontext unserer Forschungsprojekte ergeben sich in der Regel auch Themen für Masterarbeiten und für Themenvorschläge sind wir ebenfalls offen.