v1.11.0 (686)

Enseignement de Master 2 - ACN901 : Protocol Safety and Verification

Domaine > Réseaux.


ACN910 : This course is part of the curriculum for the M2 program in "Advanced Communication Networks" (M2-ACN)
Professors in charge : Xavier Rival & Karthikeyan Bhargavan
The objective of this course is threefold: (i) to initiate the students to the fundamental theories, approaches and methods for verification of critical and possibly time-critical communicating systems; (ii) present instantiations of these theories and methods in tools, utilities and systems for verification and “proof” of communications protocols, and finally (iii) render the use of such tools, utilities and systems “second nature” for when designing communications protocols and communicating systems.

nombre d'heure en présentiel


nombre de blocs


Diplôme(s) concerné(s)

Parcours de rattachement

Format des notes

Numérique sur 20

Littérale/grade européen

Pour les étudiants du diplôme Advanced Communication Networks

Pour les étudiants du diplôme Diplôme d'ingénieur

Programme détaillé


Veuillez patienter