英语 ⇄ 俄语 +

formally verifiable programming language 强调
编程	формально-верифицируемый язык программирования (Alex_Odeychuk)