 |
Terms for subject General containing формальное доказательство | all forms | exact matches only | in specified order only
| Russian | English |
| выполнить формальное доказательство отсутствия ошибок времени выполнения | prove absence of runtime errors (overflows, reading of uninitialized variables etc. alex_) |
| отсутствие формальных доказательств причастности к преступлению в качестве заказчика | plausible deniability (Ремедиос_П) |