| Subject | English | Russian |
| softw. | formal verification of an implementation against a specification | формальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk) |
| data.prot. | specification verification | верификация спецификаций |
| progr. | specification-based verification coverage | анализ покрытия на уровне спецификации (это мероприятия по проверке высокоуровневых функционалов и макроархитектурных определений. Включают в себя анализ средств ввода/вывода, типов используемых транзакций (в том числе взаимодействие между собой транзакций различных типов), а также преобразования данных ssn) |
| progr. | verification of consistency between specification and implementation | проверка реализации на соответствие спецификации (Electronic Design Alex_Odeychuk) |
| astronaut. | verification of specifications | проверка технических условий |