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

  • Forum Stratégie Innovation 2017
    27 April 2017 0:00
    Château Royal à Laval
    Le CRIM participera à l'édition 2017 du Forum Stratégie Innovation aura lieu le 27 avril 2017 au Château Royal à Laval.
    +
  • Rémi Quirion RT @SciChefQC: Place de la science dans la nouvelle politique internationale du Qc #diploQC - @MRIF_Quebec au colloque #AcfasC13 https://t.…
  • CRIM est heureux d'être partenaire&participer au Forum @ForumStrategie Innovation destiné aux entrepreneurs&PME du… https://t.co/WdD7dS2Ijs

Recent Publications

  • PeopleBot

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

    +