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)



Upcoming event

  • QRS 2019
    26 July 2019 0:00
    Sofia, Bulgarie
    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