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

  • Intelligence d'affaires et analytique 2020 - Québec - Événements Les Affaires
    15 May 2020 8:30
    Hôtel Le Concorde Québec
    Le CRIM est fier d'être partenaire et de participer à la 4e édition de la conférence Intelligence d'affaires et analytique - Québec organisée par les Événements Les Affaires, les 14 et 15 mai 2020 à l'hôtel Concorde, Québec.
    +
  • ???? Appel aux innovations technologiques québécoises pour lutter contre le #Covid19 ???? @TechnoMontreal Vous avez une… https://t.co/HBNZ3L8Aq5
  • #COVID19 Suivant les directives du gouvernement, nos locaux sont fermés.Notre personnel redouble d'efforts pour con… https://t.co/PuJr81NvLQ

Recent Publications

  • Validating BGP Update Using Blockchain-Based Infrastructure

    +
  • Efficient Inference of Optimal Decision Trees

    +