Initier au développement de logiciels garantissant la sûreté de fonctionnement des systèmes critiques en déployant des méthodes formelles supportées par des ateliers de génie logiciel.