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
-
QRS 2019
CRIM will present a paper at the 19th IEEE International Conference on Software Quality, Reliability, and Security to be held in Sofia, Bulgaria, from July 22-26, 2019.
- ????Un été sous le signe du #recrutement ???????? et de la recherche #climatique ! ???? Nos dernières nouvelles dans l'infolet… https://t.co/oCDk2DVFd0
- Je choisis Montréal et @QuebecInnove vous invitent à découvrir des opportunités de travail en recherche dans les la… https://t.co/6luzloFWv9
Recent Publications
-
Forage de données géospatiales, quelques applications
-
Des technologies perturbatrices pour de futures applications du bâtiment intelligent utilisant AI
