Home > About CRIM > Expertise > Model inference
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

Follow Us

Chat with us

LinkedIn Follow CRIM

Follow our tweets

Flickr See our Flickr albums

YouTube See our videos

Medium Read our Medium articles

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.
    +
See all events
  • 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

    +
See all Publications