Informations du cours

Welcome to the course "Semantics, modeling and verification".

This Moodle will not be used to provide you documents.

This is just a redirection to the main repository on GitLab that you can find on the following link:

https://gitlab.unige.ch/modelisation-verification/modelisation-verification-2022

All instructions can be found on the README.md on the first page on the link above.

Please to follow them !