Journée ISN-EPI 2016 : Prouver des programmes, tester des systèmes, vérifier des modèles..., Marie-Claude GAUDEL

 "Prouver des programmes, tester des systèmes, vérifier des modèles… ", par Marie-Claude GAUDEL, Professeur émérite, LRI, Université de Paris-Sud et CNRS.

La sûreté de fonctionnement des systèmes informatiques à base de logiciel est un enjeu de plus en plus important. Après avoir rappelé les spécificités du logiciel, on fera le point sur les principaux concepts et méthodes du domaine de la validation et de la vérification de programme. On les illustrera sur quelques exemples et on présentera quelques bonnes pratiques élémentaires. Les transparents de l'exposé sont ici.