www.prismmodelchecker.org
[Wer09] Frank Werner. Applied Formal Methods in Wireless Sensor Networks. Ph.D. thesis, University of Karlsruhe. 2009.
Links: [Google] [Google Scholar]

Publications