Title: WITHDRAWN: Dissemination of safety messages to vehicles and verification using model checking in VANETs
Abstract: Model checking is one of the formal verification techniques which is widely used to validate and correct the design errors of communication protocols. Model checking uses algorithms to verify the correctness of the system. This paper presents a complete description of verification methodology of VANET communication protocols using SPIN model checker. Most of the VANET communication protocols use Road Side Units for transmitting safety/traffic related information to far away vehicles. This proposed system presents a verification system for checking the correctness and design errors of VANET communication protocols using model checker. Finally, the simulation and verification results are presented.
Publication Year: 2020
Publication Date: 2020-10-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 2
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot