Arbeitsgruppe Zuverlässige Systeme

Forschungsthemen

Die Arbeitsgruppe Zuverlässige Systeme beschäftigt sich mit formalen Methoden zur Fehlerentdeckung und -vermeidung in Hard- und Softwaresystemen. Insbesondere liegen unsere Forschungsschwerpunkte auf den Gebieten der formalen Spezifikation und Verifikation von Systemen, der Modellprüfung, der Erfüllbarkeitsprobleme diverser Logiken und der Untersuchung kombinatorischer Probleme auf sequenziellen Strukturen.