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

  • Sécurité de l'information 2019 - Événement Les Affaires
    20 March 2019 8:15
    Centre-Ville, Montréal
    Le CRIM fier partenaire de la 5e édition de la conférence sur la «Sécurité de l'information», organisée par les Événements Les Affaires, qui se tiendra le 20 mars 2019 au Centre-Ville de Montréal.
    +
  • Lavery Avocats RT @LaveryAvocats: Très heureux de s’associer à l’initiative #Femmesentech d’@UbisoftMTL à titre de partenaire de la conférence de ce soir…
  • #Communiqué ???? Enjeux de l’exploitation des données : une première conférence réseautage dynamique et riche d’échang… https://t.co/CU4sQLKx78

Recent Publications

  • Object Counting on Low Quality Images: A Case Study of Near Real-Time Traffic Monitoring

    +
  • Object Counting on Low Quality Images: A Case Study of Near Real-Time Traffic Monitoring

    +