英语 ⇄ 俄语 +

analyzability and provability of program properties 强调
编程	анализируемость и доказуемость свойств программы (Electronic Design Alex_Odeychuk)