Navigation

Kontakt

Prof. Dr.-Ing. Oliver Theel

Carl von Ossietzky Universität Oldenburg
Fakultät II, Department für Informatik
Abteilung Systemsoftware und verteilte Systeme
D-26111 Oldenburg

+49 441 798-2364

+49 441 798-2756

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:

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

SVS-cvbezWejibmasterib2h (svs@aghainformatik.uni-te5olipdengj6burg7em.deqs7li) (Stand: 21.08.2020)