Pour alimenter les innombrables systèmes qui ont envahi notre quotidien, les logiciels sont de plus en plus gourmands en lignes de code. Et la cote d'alerte est aujourd'hui atteinte : désormais, les informaticiens ne peuvent plus garantir que leurs programmes sont sans erreur...