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 et leadership au temps de la Covid - Événement Les Affaires
    27 October 2020 9:00
    Présentation en ligne
    Le CRIM est fier d'être partenaire de la 1ère édition de la conférence Gestion et leadership au temps de la Covid organisée par les Événement Les Affaires. Présentation en ligne.
    +
  • We'll be there! https://t.co/zaa1diVOHm
  • @ForumIAQuebec parle du Solutionneur ! #impactIA #recherche #innovation #impact #solution #education

Recent Publications

  • An end-to-end approach for the verification problem: learning the right distance

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

    +