| Première année | ||
| - 3MMTL2:Théorie des langages 2 | 3.0 | 39.0 |
| - 3MMTL1:Théorie des langages 1 | 3.0 | 76.5 |
| Deuxième année | ||
| - 4MMFLI:Fondements logiques pour l'informatique | 3.0 | 35.5 |
| Troisième année | ||
| - 5MMMVSC7:Modèles et langages pour le model checking (en anglais) | 1.5 | 18.0 |
| - 5MMVSE7:Validation des systèmes embarqués | 1.5 | 18.0 |