Forschung

Formale Verifikation

Seit dem 15. Juni 2005 in der Formal Methods Group am Lehrstuhl Technischen Informatik der Universität Tübingen.

Der Forschungsschwerpunkt unserer Gruppe liegt bei der Erforschung von Techniken, Datenstrukturen und Algorithmen für die Verifikation von Hardware- und Software-Systemen. Wir erforschen auch Methoden zum Beschreiben, Spezifizieren und Überprüfen von System-Eigenschaften (für die Digital-, Analoge und Software-Domäne und deren Kombintionen) Temporal Logik wie PSL, LTL, und CTL, optinonal mit Zeitintervallen der temporal Operatoren.

Interessen