英语 ⇄ 俄语 +

automatic analysis and verification 强调
软件	автоматический статический анализ и формальная верификация программного обеспечения (Electronic Design Alex_Odeychuk)