Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have