www.prismmodelchecker.org
[KF11] Savas Konur and Michael Fisher. Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification. In Proc. 73rd IEEE Vehicular Technology Conference (VTC'11). 2011.
Links: [Google] [Google Scholar]

Publications