Welcome to the new TICK Web site.

Tick is joint research project between INRIA and the Ecole des Mines de Paris in its
Center 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 reactive systems.

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