3.1 Slides for the course MALG1/MOVEX1

3.1.1 Lecture 0 Overview of the course

Overview of the course

3.1.2 Lecture 1 Modélisation, spécification et vérification (I)

• Modélisation, spécification et vérification (I)
• The MODULE access_control.tla.

3.1.3 Lecture 2 Modélisation, spécification et vérification (II)

Modélisation, spécification et vérification (II)

3.1.4 Lecture 3 Modélisation, spécification et vérification (III)

Modélisation, spécification et vérification (III)

3.1.5 Lecture 4 Vérification mécanisée de contrats (I)

Vérification mécanisée de contrats (I)

3.1.6 Lecture 5 Vérification mécanisée de contrats (II)

Vérification mécanisée de contrats (II)