Questions marquées «program-correctness»

9
Les techniques de vérification des programmes pourraient-elles empêcher les bogues du genre Heartbleed de se produire?

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...