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 . En réponse au lien Le système propriétaire responsable de bug sur les voitures?. Évalué à 3.
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.