IGL 501 / IGL 710 - Méthodes formelles en génie logiciel

Connaître et utiliser les méthodes formelles de spécification, de validation et de vérification de systèmes logiciels.