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

  • Canadian OGC Summit
    30 June 2017 0:00
    Sheraton Hotel Newfoundland
    The next Open Geospatial Consortium meetings will be held in St. John’s, Newfoundland and Labrador, from June 26-30th, 2017.
    +
  • TechnoMontreal RT @TechnoMontreal: Le @CRIM_ca annonce la nouvelle composition de son CA et les grandes lignes de son nouveau plan stratégique - https://t…
  • Infopresse RT @Infopresse: Brèves, annonces et mouvements dans l'industrie: @le985fm, @outfrontmedia, @gotoast, @CRIM_ca, etc. : https://t.co/jD4ljvZs…

Recent Publications

  • PeopleBot

    +
  • Numérisation 3D temps réel de pièces avec l'API Google Tango et comparatif au LIDAR

    +