Humm, dans un monde on on ne peux même pas vérifier qu'un processeur effectue tous ces calculs correctement (des proc buggé ca c'est vu), une preuve complète sur un logiciel ...
Rien que de prouver le bon fonctionnement de l'OS sur lequel ca tourne (et tout hein, systèmes d'entrées sorties et Co), l'OS de compilation, le compilateur ... non décidément, le vote électronique ....
[^] # Re: ....
Posté par Anonyme . En réponse au journal Vote électronique. Évalué à 4.
Humm, dans un monde on on ne peux même pas vérifier qu'un processeur effectue tous ces calculs correctement (des proc buggé ca c'est vu), une preuve complète sur un logiciel ...
Rien que de prouver le bon fonctionnement de l'OS sur lequel ca tourne (et tout hein, systèmes d'entrées sorties et Co), l'OS de compilation, le compilateur ... non décidément, le vote électronique ....