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

Projektmitarbeiter_innen

Institut

Förderungsmittel

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

Forschungsschwerpunkte

  • Information and Communication Technology

Schlagwörter

DeutschEnglisch
model checkingmodel checking
strategy sysnthesis problemstrategy sysnthesis problem
semistructured datasemistructured 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

Publikationen