AVACS

Automatic Verification and Analysis of Complex Systems

 

1 Project Description

AVACS (Automatic Verification and Analysis of Complex Systems) is a Transregional Collaborative Research Center of the German Research Council. It is conducted as a collaboration of the University of Oldenburg with the Universities of Freiburg and Saarbruecken as well as the Max-Planck-Institute for Computer Science in Saarbruecken.

Our research group "Correct System Design" is involved in the subprojects R1 "Beyond Timed Automata", R3 "Heuristic Search and Abstract Model Checking for Real-Time Systems", and H3 "Automatic Abstraction of Hybrid Controllers". Besides Prof. Dr. E.-R. Olderog (R1, H3), contact persons in our group are Dr. Henning Dierks (R3, H3) and Prof. Dr. Heike Wehrheim (R1).

Research topics include the semantics, specification and verification of reactive systems, in particular real-time systems. Further on, of special interest are the application and development of tools for the automatic verification of time critical systems.

 

2 Vacancies

AVACS provides an excellent research environment for young scientists and offers the possibility of obtaining a PhD degree.

For vacancies in our group relevant to AVACS please have a look at the page Job Vacancies. For further information please see the AVACS Homepage.