About CRIM

Model inference

Model checking and model-based testing require the availability of a formal executable model of a system being developed. When such a model does not exist for one reason or another, at least a partial model could still be inferred based on an implemented version of the system. The team has developed an essential expertise in model inference. The considered approaches can be applied offline, by analyzing traces (logfiles) of the system’s executions, and online, by analyzing the system while it executes.

Learn more about model-based testing (VIDEO)

Teams

Releases

Upcoming event

  • SQIL 2018 - Semaine québécoise de l'informatique libre
    23 September 2018 0:00
    Le CRIM est heureux d'être partenaire diffuseur de la 10e édition de la Semaine Québécoise de l'Informatique Libre (SQIL) 2018 qui se déroulera du 15 au 23 septembre 2018.
    +
  • #ÉvénementMembre Venez célébrer 30 ans d'innovation avec @inocanada ?le 8 novembre! Billets en vente dès maintenant… https://t.co/QjTRofz5g9
  • #EnCours André Lapointe, directeur #RetD du CRIM, participe à la #conférence #IA @ MTL organisée par Défi Montréal… https://t.co/SeSYvrN1sd

Recent Publications

  • Towards Automatic Feature Extraction for Activity Recognition from Wearable Sensors: A Deep Learning Approach

    +
  • État des lieux des technologies web

    +