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.

Teams

Upcoming event

  • Vision Géomatique 2017
    19 October 2017 0:00
    Delta Sherbrooke
    Vision Géomatique est de retour en 2017 pour sa 5e édition qui se déroulera du 17 au 19 octobre 2017 au Delta Sherbrooke.
    +
  • Nous y serons !! https://t.co/ypF4iESZ07
  • Tourisme Montréal RT @MeetMontreal: Nov 8 - 18, Influential players in #creativity and #culture will flock to the first edition of @hubmontreal https://t.co/…

Recent Publications

  • PeopleBot

    +
  • Fine-grained domain classification of text using TERMIUM Plus

    +