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.
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 20Littérale/grade européenPour 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é