TickTac

From LRDE

Le projet TickTac a été retenu lors de l'appel à projet ANR 2018. Il est prévu pour une durée de 48 mois. Le consortium regroupe, en plus du LRDE, l'Institut de recherche en informatique et systèmes aléatoires (IRISA), le Laboratoire Bordelais de Recherche en Informatique (LaBRI), le Laboratoire Spécification et Vérification (LSV), l'Institut des Systèmes Intelligents et de Robotique (ISIR) et le Laboratoire d’informatique et systèmes (LIS).

L'objectif du projet est de construire des outils open-source implémentant de nouveaux algorithmes pour la vérification et la synthèse de systèmes temps-réels.

Page officielle: http://www.irisa.fr/sumo/ticktac/