• # ca existe presque deja

    Posté par . En réponse au journal Bayes appliqué au code ?. Évalué à 1.

    bonjour,

    aujourd'hui, pour certains languages, cela s'appelle la preuve formelle ( genre http://www.idealx.org/doc/intro_preuve_formelle.fr.html(...) ).

    le principe est simple :

    prouver que le programme fait ce qu'il doit faire si :
    1 - l'environnement est suffisament bug free
    2 - que le developpeur sait coder ce qu'il voulait coder
    3 - que le codeur sait exprimer au demontreur que qu'il doit demontrer

    maintenant, ca ne marche pas pour tout.