www.prismmodelchecker.org
[Val24] Ivaylo Valkov. Formal analysis of communication protocols for wireless sensor systems. Ph.D. thesis, University of Glasgow. 2024. [Verifies wireless network protocol, including the use of PRISM extensions for symmetry reduction.]
Links: [Google] [Google Scholar]

Publications