4.1 Slides for the course MOVEX2

4.1.1 Lecture 0 Overview of the course

Overview of the course

4.1.2 Lecture 1 Vérification mécanisée de contrats (III)

Lecture 1 Vérification mécanisée de contrats (III)

4.1.3 Lecture 2 Théorie du point-fixe et applications

Lecture 2 Théorie du point-fixe et ses applications

4.1.4 Lecture 3 Modélisation synchrone

Lecture 3 Modélisation Synchrone