www.prismmodelchecker.org
[BMJM12] S. Bhatti, S. Memon, I.A. Jokhio and M.A. Memon. Modelling and symmetry reduction of a target-tracking protocol using wireless sensor networks. IET Communications, 6(10), pages 1205-1211. 2012.
Links: [Google] [Google Scholar]

Publications