Educational resources

Dominique Méry
LORIA & Telecom Nancy
Université de Lorraine
https://members.loria.fr/Mery
dominique-dot-mery-at-loria-dot-fr

Last updated 10:52 A.M.on May 23, 2025

This site provides teaching resources for students taking courses at the University of Lorraine, particularly the IT Masters and Telecom Nancy. Last updated 10:52 A.M.on May 23, 2025.

1 Course ASPD Distributed Algorithms on modelling, verifying and trying to understand distributed algorithms used in main computer systems.
2 Course MOVEX Modelling, Verification and Experimentation for Software-based Systems
3 Course MOSOS Modelling Software-based Systems using the Event-B modelling language
4 Course MVSI for french students (in french)
5 Using the Event-B modelling language for teaching verification techniques
6 Course DISCONT Modelling Modelling Systems