www.prismmodelchecker.org
[CMOF24] Mi Chen, Lynda Mokdad, Jalel Ben Othman and Jean-Michel Fourneau. Probabilistic performance evaluation of the class-A device in LoRaWAN protocol on the MAC layer. Performance Evaluation. 2024. [Uses probabilistic model checking and PRISM to analyse the performance of the LoRaWAN wireless network protocol. ]
Links: [Google] [Google Scholar]

Publications