Games and Automata for Synthesis and Validation

01.09.2002 - 31.01.2007

Forschungsförderungsprojekt

Es gibt einen wachsenden Bedarf an formalen Methoden, die die Zuverlässigkeit, die Richtigkeit und Effizienz von Computersystemen garantieren. Dieses Projekt nimmt die Herausforderung an und entwickelt spezielle und stichhaltige Verfahren, die sich auf Spiele und Automaten gründen. Dieses Netzwerk orientiert sich sowohl an Grundlagenforschung als auch an modernen Anwendungen, und bietet der Synthese und Stichhaltigkeit von Computersystemen einen neuartigen Denkanstoss.

Personen

Projektleiter_in

O.Univ.Prof. Dipl.-Ing. Dr.techn. Georg Gottlob (E184)

Projektmitarbeiter_innen

Peter Szinek (E184)
Dr.techn. Michal Ceresna (E184)

Institut

E184 - Institut für Informationssysteme

Förderungsmittel

European Commission (EU) Sonstige EU-Forschungsinitiative Europäische Kommission Antragsnummer 00283

Forschungsschwerpunkte

Information and Communication Technology

Schlagwörter

Deutsch	Englisch
model checking	model checking
strategy sysnthesis problem	strategy sysnthesis problem
semistructured data	semistructured data

Externe Partner_innen

RWTH Aachen
Laboratory for Foundations of Computer Science
Warsaw University, Faculty of Mathematics, Informatics and Mechanics
Uppsala Universitet, Department of Information Technology
Universite Paris 7
Rice University
Université Bordeaux 1, Laboratoire/Research Institute