При проверке программы программист по тексту программы мысленно старается восстановить тот вычислительный процесс,
который определяет программа, после чего сверяет его с требуемым процессом. На время
проверки нужно "забыть", что должна делать
программа , и "узнавать" об этом по ходу её
проверки. Только после окончания проверки
программы можно "вспомнить" о том, что она должна делать и сравнить реальные действия
программы с требуемыми.