Macaque vous dites « ...mais on peut prouver qu’un algorithme respecte certaines propriétés.. ».
Nous sommes bien d’accord, mais on ne peut pas prouver qu’il respecte toutes et, surtout, QUE les propriétés souhaitées.
Et c’est cela une preuve formelle.
Pour réagir, identifiez-vous avec votre login / mot de passe, en haut à droite de cette page
Si vous n'avez pas de login / mot de passe, vous devez vous inscrire ici.