По экспертным оценкам, верификация занимает от 40 до 80% стоимостных и временных ресурсов современных проектов. Особые трудности вызывает поиск и диагностирование ошибок на заключительном этапе — при работе с изготовленным прототипом.