CChronos
AuteurEn développement
Opacité et fuites temporelles
Logiciels
Contributeur
IMITATOR est un outil pour synthétiser des paramètres de temps pour des systèmes concurrents temporisés modélisés à l'aide d'extensions d'automates temporisés paramétrés.
IMITATOR a été utilisé dans plusieurs collaborations industrielles sur la vérification matérielle et l'analyse de l'ordonnançabilité sous incertitude.
Vérification temporisée paramétrée