英语 ⇄ 俄语 +

formal verification of an implementation against a specification 强调
软件	формальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk)