Modeling And Verification Techniques For Ad Hoc Network Protocols