Several research partners are involved in Ticktac project:

IRISA Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Rennes

ISIR Institut des Systèmes Intelligents et de Robotique (ISIR), Paris

LaBRI Laboratoire Bordelais de Recherche en Informatique (LaBRI), Bordeaux

LIS Laboratoire d’Informatique & Systèmes (LIS), Marseille

LRDE Laboratoire de Recherche et de Développement de l’EPITA (LRDE), Paris

LSV Laboratoire Spécification et Vérification (LSV), Cachan