Re: [Fsfe-france] Quelques elements supplementaires sur le vote electronique verifie (fwd)

[Ludovic Courtès]

Bonjour,

Yesterday, 21 hours, 10 minutes, 58 seconds ago, David GLAUDE wrote:
> Oui du code peut-être prouver mathématiquement.

Non, c'est une erreur de penser ça : on ne peut pas prouver qu'un
programme se termine, par exemple.  C'est pour ça qu'on fait, entre
autres, de la "prévision des fautes" (a priori) ou de "tolérance aux
fautes" (sachant que certaines fautes sont imprévisibles, on met en
place des mécanismes qui permettront de les tolérer -- par exemple, un
peu de redondance aurait pû permettre de tolérer la radiation qui a
altéré le fameux 13ème bit en Belgique ;-) ).

Ludovic.