Re: Fonctionnalités?

Retourner au contenu associé (dépêche : Orange lance un terminal Internet sous GNU/linux !)

[^] # Re: Fonctionnalités?

Posté par Vincent P (site web personnel) le 07 mai 2009 à 12:25. En réponse à la dépêche Orange lance un terminal Internet sous GNU/linux !. Évalué à 6.

Il existe des logiciel qui cherchent à démontrer qu'un programme est totalement conforme aux attentes.

http://fr.wikipedia.org/wiki/Assistant_de_preuve

http://en.wikipedia.org/wiki/Computer-assisted_proof

Parmi les outils d'aide à la preuve on trouve notamment Coq, développé à l'INRIA.