скажи, дорогой, ты вообще занимался когда-нибудь верификацией? ну, понятно, что про перебор — это ты несусветную чушь сказал, сделаем вид, что не заметили.

с верификацией есть и другие забавные проблемы: аналитический метод требует *огромных* усилий и времени. и (обычно) применения других программ, которые кто-то должен… упс. это с одной стороны.

с другой стороны: ты считаешь, что железо никогда не сбоит и в нём не бывает ошибок? а если воротить «самотестирующееся» железо, то чем более оно будет «надёжно самотестироваться», тем менее оно будет полезно: основное время и ресурсы железо будет тратить на самоудовлетворение.

про то, что человек ошибается ещё чаще, чем всё вышеперечисленное, и при этом хреново верифицируется, я даже не буду подробно упоминать.

поэтому верификацию делают выборочную, и гарантию она даёт не 100%, а до некоторого допустимого уровня. и да, жертвы ошибок в хирургическом ПО и железе точно так же запланированы, как и жертвы ошибок «мясных» хирургов.