A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks
A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks
This paper surveys how formal verification can be used to prove the correctness of ad hoc routing protocols, which are fundamental infrastructure of wireless sensor networks.The existing techniques fall into two classes: verification on small-scale networks and verification on unbounded networks.The former one is always fully automatic and easy to …