www.prismmodelchecker.org
[HYF+12] Kang He, Hongli Yang, Yachao Feng, Yuan Liu and Zongyan Qiu. Performance Analysis of Data Gathering Protocol Using PRISM. In Proc. 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'12), pages 96-105. 2012. [Uses PRISM to analyse the Power Efficient Algorithm for Data Gathering (PEADG) protocol.]
Links: [Google] [Google Scholar]

Publications