 |
| Subject | Russian | English |
| tech. | проверка соблюдения проектного задания | design verification |
| progr. | проверка соблюдения требований проектного задания | design verification (определение соответствия функционирования схемы (системы) в соответствии со спецификацией на неё. Методы верификации делятся на статические (см. formal verification) и динамические – с помощью прогона набора тестов ssn) |