Je suis entièrement d'accord quand tu dis que rien en informatique ne garanti le zéro-bug.
Hum. Je suis certain que des puristes pourront confirmer ou infirmer, mais il me semblait qu'il est possible d'écrire (à un coût monstrueux, cependant) des programmes prouvés, qui peuvent être garantis sans bug. Mais ce n'est pas applicable au monde des logiciels "grand public", je suppose.
Bon, en fait, j'ai trouvé (chez IdealX !) une petite intro sur la question : http://www.idealx.org/doc/intro_preuve_formelle.fr.html(...)
[^] # Re: Pas exactement
Posté par Benoît Bailleux (Mastodon) . En réponse au journal La sécurité informatique au 20h de TF1. Évalué à 2.
Hum. Je suis certain que des puristes pourront confirmer ou infirmer, mais il me semblait qu'il est possible d'écrire (à un coût monstrueux, cependant) des programmes prouvés, qui peuvent être garantis sans bug. Mais ce n'est pas applicable au monde des logiciels "grand public", je suppose.
Bon, en fait, j'ai trouvé (chez IdealX !) une petite intro sur la question : http://www.idealx.org/doc/intro_preuve_formelle.fr.html(...)