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

Upcoming event

  • MEGA 2017
    19 November 2017 0:00
    Marché Bonsecours (Montréal)
    Montreal Exo Gaming Arcade November 18-19 2017.
    +
  • rappel - Séminaire R-D au CRIM le 21 novembre : Présentation de la #recherche à la Société des arts technologiques… https://t.co/UUOcPFGgll
  • 1,2 et 3 décembre - Canada 150 : les innovations du passé, du présent et du futur https://t.co/3oV91Jv16B https://t.co/tCJoaROlMT

Recent Publications

  • PeopleBot

    +
  • Face Recognition in Video Surveillance from a Single Reference Sample Through Domain Adaptation

    +