www.prismmodelchecker.org
[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.

Publications