to the new TICK Web
is joint research project between INRIA
and the Ecole des
Mines de Paris in its
for Applied Mathematics (CMA).
Tick is the follow-up of the former Meije project.
Our main research topics are:
-Theoretical study and analysis of synchronous reactive systems.
-practical design of efficient compiling techniques for synchronous
-Development of the Esterel language.
-Analysis and verification technics based on model checking.
Check also the official INRIA
Tick Page and our activity
report (in french)
You may also want to have a look at the Esterel-Users