On Statistical Model Checking with PLASMA

Legay, Axel;Sedwards, Sean
(2014) The 8th International Symposium on Theoretical Aspects of Software Engineering (1.September.2014)

Files

No attached file found for this publication.

Details

Authors
  • Legay, AxelUCLouvain
    Author
  • Sedwards, Sean
    Author
Abstract
This paper surveys the main functionalities of the PLASMA statistical model checking platform developed at Inria.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Legay, A., & Sedwards, S. (2014). On Statistical Model Checking with PLASMA. The 8th International Symposium on Theoretical Aspects of Software Engineering. https://hdl.handle.net/2078.5/173154