1 Documentation and Tools
2 Course MALG2 at Telecom Nancy
2.1 Slides for the course MALG2
2.1.1 Lecture 0 Overview of the course
2.1.2 Lecture 1 Vérification mécanisée de contrats (III)
2.1.3 Lecture 2 Théorie du point-fixe et applications
2.1.4 Lecture 3 Sémantique ds langages de programmation
2.1.5 Lecture 4 Interprétation Abstraite
2.2 Tutorials
3 Course MALG1/MOVEX1 at Telecom Nancy
3.1 Slides for the course MALG1/MOVEX1
3.1.1 Lecture 0 Overview of the course
3.1.2 Lecture 1 Modélisation, spécification et vérification (I)
3.1.3 Lecture 2 Modélisation, spécification et vérification (II)
3.1.4 Lecture 3 Modélisation, spécification et vérification (III)
3.1.5 Lecture 4 Vérification mécanisée de contrats (I)
3.1.6 Lecture 5 Vérification mécanisée de contrats (II)
3.2 Lectures Notes
3.3 Tutorials
3.4 Assessment
3.5 Examens passés
4 Course MOVEX2 at Telecom Nancy
4.1 Slides for the course MOVEX2
4.1.1 Lecture 0 Overview of the course
4.1.2 Lecture 1 Vérification mécanisée de contrats (III)
4.1.3 Lecture 2 Théorie du point-fixe et applications
4.1.4 Lecture 3 Modélisation synchrone
4.2 Tutorials
4.3 TP Noté SLE ENSEM lundi 19 mai 2025