de Gerard J. Holzmann
Un seul mauvais placement de "break"
peut paralyser l'ensemble réseau d'appels interurbains, comme
fait aux États-Unis le 15 janvier 1990.
Une seule variable non initialisée peut
faire un accident de vaisseau spatial, comme il le faisait sur
3 décembre 1999 quand le Mars
Polar Lander a échoué à son atterrissage