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

  • OGC Testbed 13 Demonstration Event
    13 December 2017 8:30
    Reston, Virginie
    CRIM will be at the Open Geospatial Consortium, OGC Testbed 13 Demonstration & Exposition, 12-13 December 2017 at the USGS in Reston, Virginia.
    +
  • Grenier nouvelles RT @Grenier_enbref: .@Deloitte dévoile ses prédictions en matière de technologies, de médias et de télécommunications au cours des cinq pro…
  • Congratulations to all collaborators involved! @Livermore_Lab @ouranos_cc @VISI_TEAM @Tom_Landry_ #PAVICS… https://t.co/tw55D2vwfF

Recent Publications

  • Projet patrimoine TARV

    +
  • PeopleBot

    +