Re: Il ne faut pas confondre l'innovation et le progrès.

Retourner au contenu associé (journal : De l'inéluctable progrès de l'informatique, ou pas.)

[^] # Re: Il ne faut pas confondre l'innovation et le progrès.

Posté par navaati le 19 novembre 2012 à 12:53. En réponse au journal De l'inéluctable progrès de l'informatique, ou pas.. Évalué à 1.

non, ils ne font que détruire les classe de bug lié à la gestion de la mémoire ou les pointeurs nuls. C'est énorme mais pas encore suffisant.

Non non, on parle vraiment de preuve formelle que le programme est sans bug (c'est à dire qu'il correspond rigoureusement à ses spécifications).