Home > About CRIM > Expertise > Model inference
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

Follow Us

Chat with us

LinkedIn Follow CRIM

Follow our tweets

Flickr See our Flickr albums

YouTube See our videos

Medium Read our Medium articles

Upcoming event

  • ICCSP 2019
    21 January 2019 0:00
    Kuala Lumpur, Malaysia
    CRIM will present an article at the 3rd International Conference on Cryptography, Security and Privacy, which will take place January 19th to 21th, 2019 in Kuala Lumpur, Malaysia.
    +
See all events
  • Montréal Relève RT @MTLReleve: Belle nouvelle en ce début d'année : 2 400 inscriptions au programme #ClassesAffaires pour l'édition 2019 ! #Relève #Stages…
  • #JournéeTechno autour du #5G le 29 janvier Survol de la 5G : Opportunités d’ #affaires et défis #technologiques. Un… https://t.co/xQjP34rQYS

Recent Publications

  • Towards Automatic Feature Extraction for Activity Recognition from Wearable Sensors: A Deep Learning Approach

    +
  • Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving

    +
See all Publications