www.prismmodelchecker.org
[RCGB+06] Francisco José Romero-Campero, Marian Gheorghe, Luca Bianco, Dario Pescini, Mario J. Péerez-Jiménez and Rodica Ceterchi. Towards Probabilistic Model Checking on P Systems Using PRISM. In Workshop on Membrane Computing, pages 477-495. 2006.
Links: [Google] [Google Scholar]

Publications