Terms containing implementation of verification

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)