Techniques et Outils de Vérification (Techniques and Tools for Verification))

This course aims to present a set of techniques and tools which are used in the verification of distributed systems. Basically, this course is build based on the knowldege that students learn in the 1st semeter in the course (OS: Outils de Specification). In this course, the students will learn deeply more techniques used for formal verification (like model-checking) then the students will discover how those techniques are automated through a set of automatic tools like UPPAAL and SPIN tools. The course is presented in a theorical course as well as in a lab.