IMITATOR

IMITATOR

IMITATOR est un outil logiciel pour la vérification paramétrique et l’analyse de la robustesse des systèmes temps-réel avec paramètres. Il s’appuie sur le formalisme des réseaux d’automates temporisés paramétrés, enrichis de variables globales à valeurs rationnelles, de chronomètres, d’horloges à taux multiples et d’autres fonctionnalités utiles.

Dylan Marinho
Dylan Marinho
PhD Student

Dylan est en préparation d’un doctorat au sein de l'Université de Lorraine et de l’école doctorale IAEM en Science Informatique. Il est rattaché à l’équipe VeriDis du LORIA et de l'Inria.