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

Industries

Releases

Upcoming event

  • Colloque Santé numérique 2017
    25 March 2017 9:00
    Pavillon Claire-McNicoll de l'Université de Montréal
    Le CRIM participera à cette conférence qui se tiendra le 25 mars 2017 à l'Université de Montréal.
    +
  • Matthieu Stréliski RT @strem: À suivre ce weekend! Un hackathon sous le signe de l’accessibilité à Radio-Canada - https://t.co/6OtP17WGDs #w00t
  • Caroline De Guire RT @carolinedeguire: #Fière que @_CyberCap présente 'S'Investir dans la Relève numérique' le 10 mai sous #PrezHonneur d'Hélène Desmarais ht…

Recent Publications

  • PeopleBot

    +
  • Détection de menaces par classification de paquets de pare-feu

    +