www.prismmodelchecker.org
[YK10] Haidi Yue and Joost-Pieter Katoen. Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption. In Proc. 17th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'10) , volume 6148 of LNCS, pages 247–261, Springer. 2010. [Analyses a randomised leader election protocol using PRISM.]
Notes: The original publication is available at www.springerlink.com.

Publications