Master 2 Informatique Parcours Vérification Logicielle (Contrat de professionnalisation possible)

• Master mention informatique - Code CertifInfo 105773
  • Niveau de qualification : 7 - Savoirs hautement spécialisés

Objectifs

Le parcours Vérification Logicielle porte en particulier sur l'utilisation des méthodes formelles dans l'analyse et la vérification du logiciel. Les méthodes formelles sont adoptées de plus en plus dans le contexte industriel, où la fiabilité et la sûreté de programmes devient un critère de qualité essentiel. Les méthodes formelles demandent une formation spécialisée, qui doit se situer à la pointe de la recherche. Ce parcours peut mener à une insertion soit en tant que chef de projet dans une entreprise qui développe du logiciel de haute qualité, soit dans la recherche.

Programme de la formation

https://www.u-bordeaux.fr/formation/2017/PRMA_68/informatique

Validation et sanction

-

Type de formation

Certifiante

Sortie

Bac + 5 et plus