英语 ⇄ 俄语 +

verification of consistency between specification and implementation 强调
编程	проверка реализации на соответствие спецификации (Electronic Design Alex_Odeychuk)