 |
| English | Russian |
| prove absence of runtime errors | выполнить формальное доказательство отсутствия ошибок времени выполнения (overflows, reading of uninitialized variables etc. alex_) |
| runtime distribution analysis | анализ распределения рабочего времени (soa.iya) |