M2 – Parcours IL – Orientation “Méthodes Formelles pour des Logiciels Sûrs” MFLS

Site de Nancy
Responsable de l’orientation : Didier GALMICHE

L’orientation Méthodes Formelles pour les Logiciels Sûrs vise à donner aux étudiants une formation solide et approfondie aux concepts et principes fondamentaux pour la conception de logiciels sûrs, fiables et robustes ainsi qu’aux méthodes formelles et outils informatiques associés actuels ou en cours d’élaboration. Pour développer de tels logiciels il est nécessaire d’approfondir les différentes activités qui constituent le cycle de vie d’un logiciel, leurs enchaînements et leurs interactions.

Semestre 9

Unités d’enseignement fondamentales

Unités d’enseignement
Crédits CM TD TP
Génie logiciel avancé 2 16 8
Modélisation & vérification de systèmes informatiques 4 32 16
Logiques non-classiques et preuves 2 16 8
Preuves de programmes 2 16 8
Situation intégratrice 3 36  –
Gestion de projet 3 18 8
Anglais 2 24

Unités d’enseignement d’approfondissement (6 au choix)

Unités d’enseignement
Crédits CM TD TP
Modèles de calculs 2 16 8  –
Preuve de programmes avancée 2 16 8  –
Procédures de décision pour la preuve de programmes 2 16 8  –
Sémantique, preuves et types 2 16 8  –
Ingénierie des données 2 16 8  –
Sécurité des protocoles 2 16 8  –
Infrastructures virtualisées 2 16 8
Sécurité web 2 16 8  –

Semestre 10

Crédits CM TD TP
Stage 30  –