英语 ⇄ 俄语 +

tool for software verification 强调
编程	инструментальное средство верификации программного обеспечения (Alex_Odeychuk)