Re: Se passer des tests ...

Retourner au contenu associé (journal : La preuve de programme : où en est-on ?)

[^] # Re: Se passer des tests ...

Posté par Nicolas Boulay (site web personnel) le 03 mars 2009 à 12:43. En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.

Ma question était de savoir si il existait d'autres méthodes.

J'imagine que écrire le code puis écrire sa preuve devrait aussi suffire.

Mais d'après les exemples de "Why" pour un code de 20 lignes, il y en a 1000 de preuves. On est loin d'être utilisable.
"La première sécurité est la liberté"