Ce projet fournit une implémentation de l'outil Imitator, permettant l'analyse de performances et la vérification de propriétés temporelles de systèmes asynchrones, ainsi que la synthèse de stratégies pour des systèmes paramétrés.