проверка конструкции(Проверка, проводимая на образце НКУ или его части для подтверждения соответствия конструкции требованиям конкретного стандарта на НКУ cntd.ruNatalya Rovina)
проверка соблюдения требований проектного задания(определение соответствия функционирования схемы (системы) в соответствии со спецификацией на неё. Методы верификации делятся на статические (см. formal verification) и динамические – с помощью прогона набора тестов ssn)