Systemsoftware und Verteilte Systeme

AVACS - Automatic Verification and Analysis of Complex Systems

Beginn des Projekts 2004, Ende des Projekts 2016; Kooperationen mit anderen Abteilungen des Department für Informatik sowie anderen Universitaeten und Forschungseinrichtungen

Beschreibung

AVACS Logo

AVACS ist ein transregionaler Sonderforschungsbereich, der sich mit der automatischen Verifikation komplexer Systeme befasst. Unsere Abteilung ist dabei in den folgenden zwei Teilprojekten involviert: