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

Recent news

  • Recherche en cours : le CRIM rend disponibles de nouveaux outils technologiques adaptés aux langues autochtones
    05/12/2019

    Les outils créés dans le cadre du projet seront offerts aux chercheurs et aux communautés par l'entremise de deux plateformes ouvertes reconnues : VESTA et ELAN.

    +

Upcoming event

  • Séminaire R-D : L'art de la cyberrésilience: les leçons du secteur bancaire
    30 January 2020 11:00
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    Une conférence du Prof. Benoît Dupont, Titulaire de la Chaire de recherche du Canada en cybersécurité,Titulaire de la Chaire de recherche en prévention de la cybercriminalité, Directeur scientifique – Réseau intégré sur la cybersécurité (SERENE-RISC), Université de Montréal.
    +

Recent Publications

  • Deep learning speech recognition for low-resource languages

    +
  • Forage de données géospatiales, quelques applications

    +