

News
March 2022 | Plenary Meeting was held online. |
Nov-Dec 2020 | Plenary Meeting was held online. |
28-29/11/2019 | Plenary Meeting was held at LRDE in Paris. |
20-21/06/2019 | WP3 Meeting was held at LaBRI, Bordeaux. |
04-05/04/2019 | Kickoff meeting was held in Rennes on April 4-5. See the programme and the slides of the talks |
01/03/2019 | ANR Ticktac begins! |
TChecker is an open-source model checker for timed automata. See the list of tools we are currently developing.
About
Keywords: | Timed automata, model checking, synthesis, timed games |
Abstract: | |
Members: | IRISA (Rennes), LaBRI (Bordeaux), LIS (Marseille), LSV (Cachan), ISIR (Paris), LRDE (Paris) |
Coordinator: | Ocan Sankur (IRISA) |
Members
IRISA (Rennes) | LaBRI (Bordeaux) | LIS (Marseille) | LSV (Cachan) | ISIR (Paris) | LRDE (Paris) | |||||||||||||||||||||||
|
|
|
|
|
|
Deliverables
Publications
Please add the following acknowledgement to all publications related to this project: