Vérification et Validation TP - Preuve de programmes avec Why3
Leçon 5 : La logique de HOARE . ... Figure 45 : Programme effectuant la somme de 2 polynômes corrigé . ... Exercice 8 (Preuves en logique de Hoare).
Leçon 5 : La logique de HOARE . ... Figure 45 : Programme effectuant la somme de 2 polynômes corrigé . ... Exercice 8 (Preuves en logique de Hoare).