Cours, TD et TP de preuves de programmes
2. l'ouvrage Cours et exercices corrigés d'algorithmique, vérifier, tester et .... Pour
prouver la spécification d'une boucle, on a besoin d'un invariant de boucle.
2. l'ouvrage Cours et exercices corrigés d'algorithmique, vérifier, tester et .... Pour
prouver la spécification d'une boucle, on a besoin d'un invariant de boucle.