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

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

• Subprojekt H4: Automatic Verification of Hybrid System Stability
• Subprojekt S3: Verification of Dependability Properties

Aus der Projektarbeit resultierte u.a. das Wekzeug Stabhyli zur automatischen Stabilitätsverifikation von hybriden Systemen.

• Deutsche Forschungsgemeinschaft (DFG)
• AVACS-Webseite
• Universität des Saarlandes, Saarbrücken
• Albert-Ludwig-Universität Freiburg
• Max-Planck-Institut für Informatik, Saarbrücken
• Tschechische Akademie der Wissenschaften