Cours, TD et TP de preuves de programmes - IRIF
spécifier un algorithme simple et démontrer sa correction à l'aide d'un invariant. Exercice 1 : ... Choisirarbitrairementunevaleur(7,8,9,10,V,D,R,A) ...
spécifier un algorithme simple et démontrer sa correction à l'aide d'un invariant. Exercice 1 : ... Choisirarbitrairementunevaleur(7,8,9,10,V,D,R,A) ...