TickTac

From LRDE

Revision as of 14:35, 16 April 2019 by Alexandre Duret-Lutz (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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/