ont souvent du code machine sous la forme d'un langage de programmation impératif. En termes pratiques, un programme d'ordinateur peut être quelques instructions ou d'étendre à plusieurs millions d'instructions, de même que les programmes de traitement de texte et les navigateurs Web par exemple. Un ordinateur moderne typique peut exécuter milliards d'instructions par seconde (gigaflops) et fait rarement une erreur au cours de nombreuses années de fonctionnement.
Les grands programmes informatiques constitués de plusieurs millions d'instructions peuvent prendre équipes de programmeurs ans à écrire, et en raison de la complexité de la tâche contiennent presque certainement des erreurs.
