AVACS
Leitung
Kontakt
Sekretariat:
AVACS
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 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.