• # question:

    Posté par . En réponse à la dépêche Vers des logiciels plus sûrs ?. Évalué à 1.

    Mais peut on garantir part une methode "mathematique" qu'un logiciel est excempt de tous bugs sachant que les bugs peuvent se trouver a tous les niveaux (appli, lib, os, compilateur, hardware ...)