英语 ⇄ 俄语 +

formal method verification toolset 强调
编程	комплект инструментальных средств формальной верификации программного обеспечения (Alex_Odeychuk)