www.prismmodelchecker.org
[FG06] A. Fehnker and P. Gao. Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols. In Proc. 5th International Conference on Ad-Hoc, Mobile, and Wireless Networks (ADHOC-NOW'06), volume 4104 of LNCS, pages 128-141, Springer. 2006. [bib] http://www.cse.unsw.edu.au/~ansgar/
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications