www.prismmodelchecker.org
[AB11] R. Abo and K. Barkaoui. A performability analysis of mobile wireless sensor networks with probabilistic model checking. In Proc. Wireless Advanced (WiAd'11), pages 283-288. 2011.
Links: [Google] [Google Scholar]

Publications