20-21/06/2019WP3 Meeting is 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. Try the current version.


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
Hugo Gimbert
Frédéric Herbreteau
Gérald Point
Igor Walukiewicz
Benjamin Monmege
Pierre-Alain Reynier
Damien Busatto-Gaston
Patricia Bouyer
Paul Gastin
Nicolas Perrin
Philipp Schlehuber-Caissier
Alexandre Duret-Lutz
Adrien Pommellet



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).