www.prismmodelchecker.org
[MMBK17] Nazeeruddin Mohammad, Shahabuddin Muhammad, Abul Bashar and Majid Ali Khan. Design and modeling of energy efficient WSN architecture for tactical applications. In Proc. Military Communications and Information Systems Conference (MilCIS'17), pages 1-6. 2017. [Proposes a wireless sensor network architecture and verifies it using PRISM.]
Links: [Google] [Google Scholar]

Publications