Die Forschungsgruppe „Theorie korrekter Systeme“ entwickelt formale Techniken und Werkzeuge, um das Vertrauen in die Korrektheit von Softwaresystemen zu stärken. Weitere Informationen zu laufenden und abgeschlossenen Forschungsprojekten und Werkzeugen sind auf der englischen Version dieser Seite zu finden.