Research Area
Our selection of key academic areas.
Teams
Axes
Platforms
Where Theory Meets Silicon.
Our Work
Advancing Science, Sharing Discoveries.
Programs & Events
Shaping the Scholars of Today and Tomorrow.
Automata and Applications / Projects
The ANR TiCKTaC project aimed to advance formal verification and synthesis of timed automata by developing novel algorithms, alternative data structures, and richer specification techniques.