Leitung

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

Kontakt

Sekretariat:

Meike Burke

Regina Knippenberg

+49 (0) 441 - 798 2855

+49 (0) 441 - 798 2756

A04 2-226

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 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.

(Stand: 20.06.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page