Aucun logiciel ne peut être garanti fiable à 100 %.
Ajoutons que le matériel peut aussi être bugué (vieille réf moisie : le FDIV bug des Pentium du milieu des années 90).
Résultat : des accidents et des morts potentiels.
NB: ça fait longtemps que je code, j'ai entendu parlé de méthode de preuve, mais je n'en ai jamais vu. Quelqu'un peut faire un retour d'expérience là-dessus ?
Mon intuition, c'est que même si ça se pratique, c'est très peu répandu et très coûteux; et donc, rarement appliqué, même là où ce serait nécessaire.
# Plus précisément
Posté par pseudonymous . Évalué à 1 (+0/-0).
Aucun logiciel ne peut être garanti fiable à 100 %.
Ajoutons que le matériel peut aussi être bugué (vieille réf moisie : le FDIV bug des Pentium du milieu des années 90).
Résultat : des accidents et des morts potentiels.
NB: ça fait longtemps que je code, j'ai entendu parlé de méthode de preuve, mais je n'en ai jamais vu. Quelqu'un peut faire un retour d'expérience là-dessus ?
Mon intuition, c'est que même si ça se pratique, c'est très peu répandu et très coûteux; et donc, rarement appliqué, même là où ce serait nécessaire.
Envoyer un commentaire
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.