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

Industries

Releases

Upcoming event

  • Prix Innovation 2017 de l'ADRIQ - Période de mise en candidature
    8 September 2017 0:00
    Le CRIM est heureux d'être partenaire des Prix Innovation 2017 de l'ADRIQ et de contribuer ainsi au rayonnement et à la reconnaissance des innovations technologiques. Période de mise en candidature prolongée jusqu'au 8 septembre 2017.
    +
  • IBM Québec RT @IBMQuebec: Le 3 octobre prochain à Montréal. Voyez le programme ici —> https://t.co/PW4qo9XTnO https://t.co/hQnJOnKhuH
  • Les libraires RT @les_libraires: Je lis la science! https://t.co/IrWh2Tzgvu @NSERC_CRSNG @BayardJCA @EditionsQuintin @EMultiMondes @QuebecScience @Gallim…

Recent Publications

  • PeopleBot

    +
  • Toward testing from finite state machines with symbolic inputs and outputs

    +