Delphine Longuet	Polytech Paris-Sud 4e année - Vérification et validation 2016-2017
Cours Introduction Spécification formelle orientée objet Spécification des opérations Introduction au test et méthodes informelles Test structurel à partir du graphe de flot de contrôle Preuve de programmes TD Invariants Spécification des opérations Test fonctionnel informel Test structurel Preuve de programmes TP Test unitaire avec JUnit Couverture de code avec CTC++ Preuve de programmes avec Frama-C