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.
Teams
Releases
Upcoming event
-
Gestion et leadership au temps de la Covid - Événement Les Affaires
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
