[JLS12]
Cyrille Jégourel, Axel Legay and Sean Sedwards.
A Platform for High Performance Statistical Model Checking - PLASMA.
In Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), pages 498-503.
2012.
|