Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol
Adrián Riesco, Alberto Verdejo · Electronic Notes in Theoretical Computer Science · 2009
The Enhanced Interior Gateway Routing Protocol (EIGRP) is an advanced distance-vector routing protocol, with optimizations to minimize both the routing instability incurred after topology changes, as well as the use of bandwidth and processing power in the router. This paper presents an executable specification using the rewriting logic based language Maude, that allows to connect several running instances of the protocol and on top of which concrete applications can be executed. The protocol is also modeled in Real-Time Maude, which allows to formally analyze it in several ways.