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

  • ICCSP 2019
    21 January 2019 0:00
    Kuala Lumpur, Malaysia
    CRIM will present an article at the 3rd International Conference on Cryptography, Security and Privacy, which will take place January 19th to 21th, 2019 in Kuala Lumpur, Malaysia.
    +
  • Montréal Relève RT @MTLReleve: Belle nouvelle en ce début d'année : 2 400 inscriptions au programme #ClassesAffaires pour l'édition 2019 ! #Relève #Stages…
  • #JournéeTechno autour du #5G le 29 janvier Survol de la 5G : Opportunités d’ #affaires et défis #technologiques. Un… https://t.co/xQjP34rQYS

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

    +