v2.11.0 (5449)

Enseignement de Master - ACN901 : Protocol Safety and Verification

Domaine > Réseaux.

Descriptif

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.

20 heures en présentiel (20 blocs ou créneaux)

Diplôme(s) concerné(s)

Format des notes

Numérique sur 20

Littérale/grade européen

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

La note obtenue rentre dans le calcul de votre GPA.

Pour les étudiants du diplôme Advanced Communication Networks

L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 3 ECTS

La note obtenue rentre dans le calcul de votre GPA.

Pour les étudiants du diplôme Echange non diplomant

La note obtenue rentre dans le calcul de votre GPA.

Programme détaillé

 

Veuillez patienter