A Platform for High Performance Statistical Model Checking - PLASMA

@inproceedings{Jgourel2012APF,
  title={A Platform for High Performance Statistical Model Checking - PLASMA},
  author={Cyrille J{\'e}gourel and Axel Legay and Sean Sedwards},
  booktitle={TACAS},
  year={2012}
}
Statistical model checking offers the potential to decide and quantify dynamical properties of models with intractably large state space, opening up the possibility to verify the performance of complex real-world systems. Rare properties and long simulations pose a challenge to this approach, so here we present a fast and compact statistical model checking platform, PLASMA, that incorporates an efficient simulation engine and features an importance sampling engine to reduce the number and… CONTINUE READING
Highly Cited
This paper has 65 citations. REVIEW CITATIONS

2 Figures & Tables

Topics

Statistics

010202012201320142015201620172018
Citations per Year

66 Citations

Semantic Scholar estimates that this publication has 66 citations based on the available data.

See our FAQ for additional information.