An Evaluative Review of the Formal Verification for VANET Protocols

Vehicular ad-hoc networks (VANETs) technology has become an active research area over the last few years. It has a huge potential to improve traffic efficiency, road safety as well as comfort to both passengers and drivers. In this context, one of the most difficult challenges is to ensure that protocols used in VANETs operate properly as expected and do not cause any inconsistencies. In this paper, we follow the guidelines of systematic literature reviews (SLR) to provide a comparison of the existing approaches formally verifying the correctness of VANETs. We introduce a taxonomy of the proposed solutions and we discuss their goals, limits, verification techniques, etc. We conclude the paper with some research challenges of VANETs that still need to be addressed. So, throughout this present paper, we provide information for researchers and developers to understand the contributions and challenges of the existing studies to pave the way for improving their solution.