Terms for subject General containing runtime errors

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