En tant qu’ingénieur logiciel, j’écris beaucoup de code pour les produits industriels. Trucs relativement compliqués avec des classes, des threads, des efforts de conception, mais aussi des compromis sur les performances. Je fais beaucoup de tests, et j'en ai marre, alors je me suis intéressé aux...
De Wikipedia: En informatique théorique, l'exactitude d'un algorithme est affirmée quand on dit que l'algorithme est correct par rapport à une spécification. Mais le problème est que pour obtenir la spécification "appropriée" n'est pas une tâche triviale, et il n'y a pas de méthode correcte à 100%...
Concernant le bug Heartbleed, Bruce Schneier écrivait dans son Crypto-Gram du 15 avril: «Catastrophique» est le bon mot. Sur une échelle de 1 à 10, il s'agit d'un 11. » J'ai lu il y a plusieurs années qu'un noyau d'un certain système d'exploitation a été rigoureusement vérifié avec un système de...