英语 ⇄ 俄语 +

formally-verifiable software development 强调
编程	разработка формально верифицируемого программного обеспечения (Alex_Odeychuk)