![HAL Archives-Ouvertes](https://s3.amazonaws.com/weyland.altmetric.com/news_sources/logos/000/001/679/normal/Screen_Shot_2016-01-26_at_14.14.52.png?1453817707)
Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Plasma Lab: A Modular Statistical Model Checking Platform. ISoLA, Oct 2016, Corfou, Greece. Springer, 9952, pp.77 - 93, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundat
HAL Archives-Ouvertes,
Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Plasma Lab: A Modular Statistical Model Checking Platform.