Statistical Model Checking of Simulink Models with Plasma Lab
(2015) Fourth International Workshop on Formal Techniques for Safety-Critical Systems (6.November.2015)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- We present an extension of the statistical model-checker Plasma Lab capable of analyzing Simulink models.
- Affiliations
Citations
Legay, A., & Traonouez, L.-M. (2015). Statistical Model Checking of Simulink Models with Plasma Lab. Fourth International Workshop on Formal Techniques for Safety-Critical Systems. https://hdl.handle.net/2078.5/227778