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

Document

Page Daniel Camara

Methodology for Formal Verification of Routing

Search