英语 ⇄ 俄语 +

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