英语 ⇄ 俄语 +

prove the absence of runtime exceptions 强调
编程	доказать отсутствие ошибок во время выполнения (корпорации AdaCore Alex_Odeychuk)