Coder avec raison — 97 choses qu’un programmeur doit savoir

Aujourd’hui, c’est le chapitre Coder avec raison que je vais traduire, comme sa licence Creative Commons Attribution 3.0 me le permet. Il a été écrit à l’origine par Yechiel Kimchi. Tenter de raisonner à propos de la software correctness (NdT : terme qu’on pourrait traduire par « exactitude logicielle »)  manuellement finit en une preuve formelle plus […]