In this paper, the authors describe mobile ad hoc networking and routing protocols modeling. Moreover, they discuss system model and ad hoc wireless networks about the routing protocols. They decision of report solutions for routing protocols in ad hoc networks. This paper, they discuss verification of the ad hoc routing. They discuss for another process of copying with the state explosion in ad hoc networks and checking of the mobile ad hoc network. Finally, they survey the current checking of the modeling solutions for the mobile ad hoc network.