 |
| Russian | English |
| доказать отсутствие ошибок во время выполнения | prove the absence of runtime exceptions (корпорации AdaCore Alex_Odeychuk) |
| отсутствие исключений во время выполнения | absence of run-time exceptions (such as divide-by-zero, numeric overflow, buffer overflow or out-of-bounds array indices  adacore.com Alex_Odeychuk) |
| отсутствие ошибок во время выполнения | absence of run-time errors (Alex_Odeychuk) |