www.prismmodelchecker.org
[JZZD20] Li Jin, Guoan Zhang, Hao Zhu and Wei Duan. SDN-Based Survivability Analysis for V2I Communications. Sensors, 20. 2020. [Performs verification of networking within vehicle-to-infrastructure communications using PRISM.]
Links: [Google] [Google Scholar]

Publications