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)

Teams

Releases

Upcoming event

  • Transformation numérique - Secteur public - Événement Les Affaires
    29 January 2020 7:00
    DoubleTree par Hilton, Montréal
    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.
    +
  • TechnoMontreal RT @TechnoMontreal: ?? En ce début d'année, on vous dévoile l'étude d'impact économique de l'industrie #techno au Québec. Pour téléchargez…
  • #Événements @Genium360 - Concours Inventer le monde de demain - Soirée de remise de prix le 30 janvier 2020. Franço… https://t.co/hGyy5rvDMr

Recent Publications

  • On the use of Fisher Vector Encoding for Voice Spoofing Detection

    +
  • Deep learning speech recognition for low-resource languages

    +