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