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
-
Transformation numérique - Secteur public - Événement Les Affaires
Le CRIM fier partenaire de la 1ère édition sur la Transformation numérique - Secteur public organisée par les Événement Les Affaires, qui se tiendra les 29 janvier 2020 au DoubleTree par Hilton, Montréal.
- NRC Canada RT @NRC_CNRC: Most audio archives of Indigenous languages have not been indexed for keyword search. We are working with @CRIM_ca @Pirurvik…
- CNRC RT @CNRC_NRC: Avec @CRIM_ca, @Pirurvik et @CBCNorth, nous cherchons à faciliter la recherche ???? par mot-clé dans les archives audio en #inuk…
Recent Publications
-
Deep learning speech recognition for low-resource languages
-
Forage de données géospatiales, quelques applications
