אנגלית ⇄ רוסית +

be proven to be free of run-time errors מתח
.תִכנו	быть доказанно свободным от ошибок времени выполнения (Alex_Odeychuk)