 |
| Russian | English |
| выполнить формальное доказательство отсутствия ошибок времени выполнения | prove absence of runtime errors (overflows, constraint errors, reading of uninitialized variables etc. Alex_Odeychuk) |
| доказать отсутствие ошибок во время выполнения | prove the absence of runtime exceptions (корпорации AdaCore Alex_Odeychuk) |
| доказать отсутствие ошибок времени выполнения | demonstrate the absence of run-time errors (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) |
| перевод при отсутствии ответа в течение заданного абонентом периода времени | Call Forward No Reply (вариант автоматической переадресации; сокр. CFNR; см. call forwarding ssn) |