v2.6.4 (3793)

Sport - INF672 : Protocol Safety and Verification

Domaine > Informatique.


This course is part of the curriculum for the M2 program in "Advanced Communications Networks" (M2-ACN).

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.

Diplôme(s) concerné(s)

Format des notes

Numérique sur 20

Littérale/grade réduit

Pour les étudiants du diplôme Diplôme d'ingénieur de l'Ecole polytechnique

Le rattrapage est autorisé

    Pour les étudiants du diplôme Echanges PEI

    Veuillez patienter