Algo : verification et validation ( pre et post conditions )

[invite287358e5]

Bonjour ,

enfaite j´ai un probleme en algorithmique c´est que j´arrive pas bien a saisir le concept de verification et validation mathematiquement parlant et surtout comment trouver les pre et post conditions

Voici un exple :


{X==0} X = X+1 {X==1}
est vrai
•
{true} X = Y {X==Y}
est vrai
•
{Y==a} X = Y {X==a ∧ Y==a}
est vrai pour tout a ∈ Z


Merci d´avance
-----