Forschungs- und Lehrbericht 2004/2005 Fachbereich 4: Informatik ...
Forschungs- und Lehrbericht 2004/2005 Fachbereich 4: Informatik ...
Forschungs- und Lehrbericht 2004/2005 Fachbereich 4: Informatik ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
8 Das Institut für <strong>Informatik</strong> mit dem Institut für Softwaretechnik<br />
Als Höhepunkt der bisherigen Arbeiten ist eine erste Version des KeY-Systems anzusehen, mit der<br />
es gelang, unsere <strong>Forschungs</strong>ergebnisse bzw. darauf aufbauende Implementierungen erfolgreich zu<br />
integrieren.<br />
Drittmittelgeber<br />
DFG<br />
Projektbeginn:<br />
Stand: laufend<br />
Veröffentlichungen: [43, 45, 67, 142]<br />
Weitere Info im WWW: http://www.key-project.org<br />
Projekt: PPP Schweden<br />
Beteiligte Personen<br />
Partner<br />
Beckert, Klebanov, Gladisch<br />
Chalmers University (Göteborg, Schweden), Arbeitsgruppe Prof. Dr. Reiner Hähnle<br />
Projektbeschreibung<br />
Im Rahmen des Programms zum projektbezogenen Personenaustausch (PPP) mit Schweden unterstützt<br />
der DAAD die Zusammenarbeit zwischen der Universität Koblenz-Landau <strong>und</strong> der Chalmers<br />
University in Göteborg auf dem Gebiert der deduktiven Programmverifikation (KeY-Projekt, siehe<br />
oben).<br />
Drittmittelgeber<br />
DAAD<br />
Projektbeginn: Januar <strong>2004</strong><br />
Stand: laufend Dezember <strong>2005</strong><br />
Weitere Info im WWW: http://www.key-project.org<br />
Projekt: Verisoft – Beweisen als Ingenieurwissenschaft<br />
Beteiligte Personen<br />
Partner<br />
Beckert, Beuster, Henrich, Wagner<br />
AbsInt Angewandte <strong>Informatik</strong> GmbH, Saarbrücken<br />
BMW Gruppe, München<br />
Deutsches <strong>Forschungs</strong>zentrum für Künstliche Intelligenz, Saarbrücken
Change language