You are here: Home :: Area NEM :: Computer science

Bernd Becker, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, Reinhard Wilhelm

SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems

Keywords: formal methods, computer aided verification, temporal logic, hybrid systems, real-time systems

The Transregional Collaborative Research Center AVACS integrates the three sites Freiburg, Oldenburg, and Saarbrücken, and addresses the challenge of pushing the borderline for automatic verification and analysis of complex systems. A particular focus of the project is on models of complex transportation systems and their safety requirements. AVACS is organized in ten subprojects, each teaming researchers from all sites, and is funded by the German Science Foundation since January 1, 2004. This article surveys scope, organization, and research directions of AVACS, including pointers to key publications.

it – Information Technology (vormals it+ti), Oldenbourg Wissenschaftsverlag

Print ISSN: 1611-2776
Volume: 49, 02/2007
Pages: 118 - 126

Show full article (external site)

Show all available items of this journal

 

Area NEM