Software and Systems Engineering
Unsere Forschungsschwerpunkte sind Methoden zur Software-Verifikation, insbesondere zu automatischen Verfahren wie Model Checking. Wir entwickeln Algorithmen und Tools, die den Quelltext eines Programms analysieren und überprüfen können, ob eine bestimmte Spezifikation eingehalten wird. Dies wird z.B. in der Praxis eingesetzt, um Fehler in Gerätetreibern des Linux-Kernels zu finden.
Weitere Informationen gibt es auf den Webseiten des Lehrstuhls.