www.prismmodelchecker.org
[LSPM12] Qian Li, Peter Schaffer, Jun Pang and Sjouke Mauw. Comparative Analysis of Clustering Protocols with Probabilistic Model Checking. In Proc. 6th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'12). 2012.
Links: [Google] [Google Scholar]

Publications