Modeling and Efficient Verification of Wireless Ad hoc Networks

Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi

Wireless ad hoc networks, in particular mobile ad hoc networks (MANETs), are growing very fast as they make communication easier and more available. However, their protocols tend t…