March 2022Plenary Meeting was held online.
Nov-Dec 2020Plenary Meeting was held online.
28-29/11/2019Plenary Meeting was held at LRDE in Paris.
20-21/06/2019WP3 Meeting was held at LaBRI, Bordeaux.
04-05/04/2019Kickoff meeting was held in Rennes on April 4-5.
See the programme and the slides of the talks
01/03/2019ANR Ticktac begins!
TChecker is an open-source model checker for timed automata. See the list of tools we are currently developing.


Keywords:Timed automata, model checking, synthesis, timed games
Members:IRISA (Rennes), LaBRI (Bordeaux), LIS (Marseille), LSV (Cachan), ISIR (Paris), LRDE (Paris)
Coordinator:Ocan Sankur (IRISA)


IRISA (Rennes)LaBRI (Bordeaux)LIS (Marseille)LSV (Cachan)ISIR (Paris)LRDE (Paris)
Thierry Jeron
Nicolas Markey
Ocan Sankur
Victor Roussanaly
Léo Henry
Emily Clement
Aline Goeminne
Hugo Gimbert
Frédéric Herbreteau
Gérald Point
Igor Walukiewicz
Benjamin Monmege
Nathan Lhote
Pierre-Alain Reynier
Julie Parreaux
Damien Busatto-Gaston
Patricia Bouyer
Paul Gastin
Nicolas Perrin
Alexandre Duret-Lutz
Philipp Schlehuber-Caissier
Adrien Pommellet
Uli Fahrenberg



Please add the following acknowledgement to all publications related to this project:

This work was partially funded by ANR project Ticktac (ANR-18-CE40-0015).