Methodology for Formal Verification of Routing

Daniel CAMARA - Doctorant CM
Communication systems

Date: -
Location: Eurecom

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

Page Daniel Camara