il n'en est pas de même avec le vote électronique où une telle preuve se rapproche plus de la démonstration mathématique.
Ralala, mon prof de fac de méthode B serait heureux de lire celà :) C'est marrant, avec la méthode B, on peut prouver qu'un programme est correct et conforme aux spécifications. Je suis sûr qu'il serait facile d'utiliser cette méthode pour une machine de vote, puisqu'ils ont bien réussi à le faire pour une ligne du meteor à Paris...
[^] # Re: Peut être
Posté par TImaniac (site web personnel) . En réponse au journal backdoor dans des machines a voter US ?. Évalué à 2.
Ralala, mon prof de fac de méthode B serait heureux de lire celà :) C'est marrant, avec la méthode B, on peut prouver qu'un programme est correct et conforme aux spécifications. Je suis sûr qu'il serait facile d'utiliser cette méthode pour une machine de vote, puisqu'ils ont bien réussi à le faire pour une ligne du meteor à Paris...