The course Modelling, Verification and Experimentation for Software-based Systems (MOVEX) is taught in the Master in Computer Science of the University of Lorraine and in the Master in Computer Engineering of Telecom Nancy. The lectures notes and documents for the students are at the link MOVEX and MALG