Statistical Model Checking of Simulink Models with Plasma Lab

Axel Legay (1) , Louis-Marie Traonouez (1)

1 ESTASYS - Efficient STAtistical methods in SYstems of systems

We present an extension of the statistical model-checker Plasma Lab capable of analyzing Simulink models.

Domaines: Théorie et langage formel [cs.FL]

Axel Legay, Louis-Marie Traonouez. Statistical Model Checking of Simulink Models with Plasma Lab. Fourth International Workshop on Formal Techniques for Safety-Critical Systems, Nov 2015, Paris, France. ⟨hal-01241249⟩