rs bijvoorbeeld. Een typisch moderne computer kan miljarden instructies per seconde (gigaflops) uitvoeren en zelden een fout maakt gedurende vele jaren van de exploitatie. Grote computerprogramma's die uit verscheidene miljoen instructies duren teams programmeurs jaren te schrijven, en vanwege de complexiteit van de taak vrijwel zeker fouten bevatten.