Subject | English | Russian |
softw. | formal verification of an implementation against a specification | формальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk) |
progr. | implementation of the verification process | осуществление процесса верификации (ssn) |
mil. | implementation of verification | осуществление проверки |
progr. | measures verification activity with respect to microarchitecture details of the actual implementation | мероприятия по проверке микроархитектурных особенностей готовой реализации (ssn) |
dipl. | provide for verification of the implementation of an agreement | предусмотреть проверку выполнения соглашения |
progr. | result of the successful implementation of the verification process | результат успешного осуществления процесса верификации (ssn) |
progr. | successful implementation of the verification process | успешное осуществление процесса верификации (ssn) |
progr. | verification of consistency between specification and implementation | проверка реализации на соответствие спецификации (Electronic Design Alex_Odeychuk) |