Formal Verification of Bluetooth Standard 802.11a Using UPPAAL
The time domain and node connectivity is the most critical analytical approach as an analyzer in a real time operating system. The purpose of using AODV routing protocol is to decrease the delay and increase the efficiency of the network. AODV routing protocol and employs the idea of a trust model to protect routing behaviors in the network layer of MANETs. Co-operation between nodes should be established without any centralized authority. In the TAODV, trust among nodes is represented by opinion.