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

  • Gestion de l'innovation 2020 - Événement Les Affaires
    10 September 2020 8:30
    Présentation en ligne
    Le CRIM est fier d'être partenaire de la 7e édition de la conférence Gestion de l'innovation organisée par les Événement Les Affaires. Présentation en ligne.
    +
  • Le CRIM prend aussi part à des grands projets de recherche nationaux et internationaux visant à répondre à d’import… https://t.co/rNyN1KKyhp
  • AQT RT @aqtech: [#LecturedujourAQT] Notre #membreAQT, @UEAT, ainsi que notre partenaire de l'écosystème techno, le @CRIM_ca élaborent un systèm…

Recent Publications

  • The Indigenous Languages Technology Project at NRC Canada: an empowerment-oriented approach to developing language software

    +
  • On the use of the i-vector speech representation for instrumental quality measurement

    +