A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Modeling and analyzing mobile ad hoc networks in Real-Time Maude
2016
Journal of Logical and Algebraic Methods in Programming
Modeling and analyzing Mobile Ad-hoc Networks (MANETs) pose non-trivial challenges to formal methods. Time, geometry, communication delays and failures, mobility, and uni-and bidirectional wireless communication can interact in unforeseen ways that are hard to model and analyze by current process calculi and automatic formal methods. As a consequence, current analyses tend to abstract away these physical aspects, so that-although still quite useful in finding various errors-their simplifying
doi:10.1016/j.jlamp.2015.05.002
fatcat:yuevspst3na3vdbkuro52lv2jq