Mobile ad hoc networks provide a promising opportunity for the applications requiring
instant networking in the resource constraint, multi-hop wireless environment. Routing …

Despite its great importance, modern network infrastructure is remarkable for the lack of rigor
in its engineering. The Internet, which began as a research experiment, was never designed …

This paper presents a formal specification of the Ad hoc On-demand Distance Vector
(AODV) routing protocol using AWN (Algebra for Wireless Networks), a recent process …

Abstract Mobile Ad-hoc Networks (MANETs) are becoming a promising and popular way to
carry out ubiquitous computing in numerous vital applications. Unique characteristics of …

We propose AWN (Algebra for Wireless Networks), a process algebra tailored to the
modelling of Mobile Ad hoc Network (MANET) and Wireless Mesh Network (WMN) …

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 …

The design of distributed, safety-critical real-time systems is challenging due to their high
complexity, the potentially large number of components, and complicated requirements and …

In the area of mobile ad-hoc networks and wireless mesh networks, sequence numbers are
often used in routing protocols to avoid routing loops. It is commonly stated in protocol …

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 …

LNCS 8169 - Parameterized Verification of Broadcast Networks of Register Automata Page
1 Parameterized Verification of Broadcast Networks of Register Automata Giorgio …