Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification

@article{Konur2011FormalAO,
  title={Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification},
  author={Savas Konur and Michael Fisher},
  journal={2011 IEEE 73rd Vehicular Technology Conference (VTC Spring)},
  year={2011},
  pages={1-5}
}
Vehicular ad hoc networks (VANETs), which are a class of Mobile ad hoc networks, have recently been developed as a standard means of communication among moving vehicles. Since VANETs are vital to the safety of the vehicles, the infrastructure, and the humans involved, a deep analysis of their potential behaviours is clearly required. In this paper we provide this analysis through the use of formal verification. Specifically, we formally analyse a specific congestion control protocol for VANETs… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 14 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Similar Papers

Loading similar papers…