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.