www.prismmodelchecker.org
[KDF10] Savas Konur, Clare Dixon and Michael Fisher. Formal Verification of Probabilistic Swarm Behaviours. In Proc. 7th International Conference on Swarm Intelligence (ANTS'10), volume 6234 of LNCS, pages 440-447, Springer. 2010. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications