A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
VERIFICATION OF CONGESTION CONTROL PROTOCOL IN VANETs USING FORMAL METHOD
2016
International Journal of Advanced Research
Congestion control protocols developed in order to resolve the issue of congestion in VANETs must ensure reliable communication of safetyrelated messages. In this work we focused on formally verifying congestion control protocol in VANETs using model checking technique. The protocol was formally modeled using a network of timed automata. The model was verified against reachability, safety and liveness properties to analyze the reliability and functional aspects of the protocol. A model checking
doi:10.21474/ijar01/1682
fatcat:kf4z6g7gb5gfjgizhocd5q56he