Logic and Formal Methods

In addition to the subjects presented here, other topics can be arranged.
Please contact a member of the group if you are interested in writing a thesis (Studien- or Diplomarbeit).

You find more open topics for theses on the pages of the chair "Application-oriented Formal Verification" of Prof. Beckert.

Abgeschlossene Arbeiten (2012)
Title Type Author Supervisor

Timm Felden

Prof. Dr. P. H. Schmitt
Mattias Ulbrich