Pour les systemes critiques, on peut avoir des preuves plus formelles, voir des preuves vis-a-vis du materiel sous-jacent.
Tout a fait , mais une preuve complète, même sur du matériel dédié est très complexe à faire, même quand elle est possible. On se contente très souvent en industrie de preuves incomplètes + systèmes de sécurité et redondance pour faire tomber les chances de pannes dans une moyenne statistique raisonnable.
Ceci étant il faut se réferer à mon post un peu plus haut (daté de 14h59) pour comprendre ce que je voulais dire exactement.
[^] # Re: Il va falloir arreter les anneries très vite.
Posté par Jerome Herman . En réponse à la dépêche Lettre du président de la FSF Europe à l'EICTA au sujet des brevets logiciels. Évalué à 1.
Tout a fait , mais une preuve complète, même sur du matériel dédié est très complexe à faire, même quand elle est possible. On se contente très souvent en industrie de preuves incomplètes + systèmes de sécurité et redondance pour faire tomber les chances de pannes dans une moyenne statistique raisonnable.
Ceci étant il faut se réferer à mon post un peu plus haut (daté de 14h59) pour comprendre ce que je voulais dire exactement.