Project leader

CFV (Belgium)

CFV (Centre Fédéré en Vérification) is a Belgian virtual center that gathers all Belgian research groups active in computer aided verification in ULG, UMH, FUNDP, UCL and ULB Universities. It is funded by the Belgian National Fund for Scientific Research (FNRS) since 2001, and hosts 8 professors that leads around 25 junior researchers.
The principal investigator for CFV is Jean-François Raskin.

Principal investigators

Aachen University (Germany)

The RWTH Aachen team consists of about 10 researchers. The research expertise has its focus in automata theory, with an emphasis on games and tree automata and covering applications in verification, synthesis of reactive systems, and analysis of multi-agent systems.
The principal investigator for RWTH Aachen is Wolfgang Thomas.

Aalborg University (Denmark)

CISS at Aalborg University is a national center of excellence on embedded software systems with focus on models and tools for distributed and real-time systems and their application on industrial cases with particular emphasis on embedded systems.
The principal investigator for CISS is Kim Larsen.

Associated partners

French IP (France)

The French IP gathers 20 computer-scientists from 2 French laboratories and one mathematician, specialist in game theory:

  • LIAFA is a laboratory of Université Paris 7, also affiliated to CNRS. It gathers worldwide researchers on topics including algorithms, combinatorics, automata theory, discrete events, specification and verification.
  • LSV is the computer-science laboratory of École Normale Supérieure de Cachan, and is also affiliated to CNRS. Formal verification is the main topic developped at LSV, with different applications (timed systems, infinite-state systems, ...).
  • Sylvain Sorin, professor, Équipe de Combinatoire et Optimisation (affiliated to CNRS) Université Paris 6, specialist in game theory (supergames, stochastic games, repeated games of incomplete information).
The two principal investigators are Olivier Serre (LIAFA) and Nicolas Markey (LSV).



University of Warwick (United Kingdom)

Research within the Formal Methods Group addresses in a broad fashion the problem of specifying, developing and maintaining computing and communication systems which are reliable and secure. The areas of our research range from theory to practice.
The principal investigator for University of Warwick is Marcin Jurdzinski.