| English | Russian |
| specification-based verification coverage | анализ покрытия на уровне спецификации (это мероприятия по проверке высокоуровневых функционалов и макроархитектурных определений. Включают в себя анализ средств ввода/вывода, типов используемых транзакций (в том числе взаимодействие между собой транзакций различных типов), а также преобразования данных ssn) |
| verification of consistency between specification and implementation | проверка реализации на соответствие спецификации (Electronic Design Alex_Odeychuk) |