Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Modelling and Verifying the AODV Routing Protocol   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 algebra which has been tailored for the modelling of Mobile Ad
Hoc Networks and Wireless Mesh Network protocols. Our formalisation models the
exact details of the core functionality of AODV, such as route discovery, route
maintenance and error handling. We demonstrate how AWN can be used to reason
about critical protocol properties by providing detailed proofs of loop freedom
and route correctness.

29
The categories of this paper are: funct-an
32
The categories of this paper are: atom-ph
16
The categories of this paper are: stat
18
The categories of this paper are: econ
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom
19
The categories of this paper are: eess
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
0
The categories of this paper are: hep-ph