Formal Verification of Device Discovery Mechanism Using UPPAAL
Wireless communication among the mobile devices is the growing area of research. Ad hoc networks are created among them for exchanging information over the small distances. The distance among the devices uniquely determines the topology of these ad hoc networks. Bluetooth is a low-cost and low-power wireless technology used to form short-range wireless ad hoc networks. It is based on frequency hopping technique. In order to guarantee the accurate functioning and to verify the connectivity of the devices, there are numerous tools and techniques exits. Formal verification is one of the techniques used to validate and verify the correctness of any protocol.