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

  • Intelligence d'affaires et analytique 3e édition - Événement les Affaires
    14 November 2018 8:30
    Centre-Ville, Montréal
    Le CRIM est fier d'être partenaire et de participer à la 3e édition de la conférence Intelligence d'affaires et analytique organisée par les Événements Les Affaires, le 14 novembre 2018.
    +
  • Le CRIM est fier d'être partenaire et de participer à la 3e édition de la conférence Intelligence d'affaires et ana… https://t.co/YZ3xoPoNPt
  • #Demain Pas un, mais DEUX de nos experts participeront à la Journée de la #géomatique à l'@USherbrooke ! J-François… https://t.co/NNrYYIsvjy

Recent Publications

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

    +
  • Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving

    +