Über Realzeitautomaten hinaus (Teilprojekt TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)
Laufzeit: 01.01.2004 - 31.12.2015
Partner: Prof. Dr. Bernd Finkbeiner,Universität des Saarlandes, Prof. Dr. Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Prof. Dr. Ernst-Rüdiger Olderog, Carl von Ossietzky Universität Oldenburg, Prof. Dr. Andreas Podelski, Albert-Ludwigs-Universität Freiburg, Prof. Dr. Viorica Sofronie-Stokkermans, Max-Planck-Institut für Informatik und Universität Koblenz-Landau
Förderung durch: DFG