英语 ⇄ 俄语 +

be proven to be free of run-time errors 强调
编程	быть доказанно свободным от ошибок времени выполнения (Alex_Odeychuk)