英语 ⇄ 俄语 +

sorts of verification activities 强调
软件	виды деятельности по верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk)