Graduate School and Research Center In communication systems
Seminar: Methodology for Formal Verification of Routing
Daniel CAMARA - Doctorant CM
Mobile Communications
Date: November 15, 2007
Location: Eurecom - EN05
The seminar describes a technique to apply formal methods to verify protocols for mobile ad hoc networks. In contrast to other techniques the presented one does not attempt to model any particular network configuration. Instead, the solution focuses
Permalink: http://www.eurecom.fr/seminar/198
Methodology for Formal Verification of Routing
