Home > About CRIM > Expertise > Model inference
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

Follow Us

Chat with us

LinkedIn Follow CRIM

Follow our tweets

Flickr See our Flickr albums

YouTube See our videos

Medium Read our Medium articles

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.
    +
See all events
  • 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

    +
See all Publications