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![]()
-----