Statistical Model Checking of Simulink Models with Plasma Lab - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Statistical Model Checking of Simulink Models with Plasma Lab

Abstract

We present an extension of the statistical model-checker Plasma Lab capable of analyzing Simulink models.
Fichier principal
Vignette du fichier
ftcs_final.pdf (264.24 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01241249 , version 1 (10-12-2015)

Identifiers

  • HAL Id : hal-01241249 , version 1

Cite

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⟩
218 View
477 Download

Share

Gmail Mastodon Facebook X LinkedIn More