Analyse des algorithmes
InvariantDeBoucle
Induction
Terminaison
VarianteDeBoucle
PreuveDAlgorithme
CorrectionPartielle
Preuve d'algorithmes
La preuve d'algorithme est une démonstration mathématique qu'un algorithme produit le résultat attendu pour toutes les entrées valides et qu'il se termine effectivement.