Terms for subject Computers containing proofs

English	Russian
absolute proof	определённое доказательство
constructive proof	конструктивное доказательство
correctness proof	доказательство правильности
jam-proof	помехонепоражаемый
jam-proof	помехонепроницаемый
jam-proof	помехозащищённый
program proof	доказательство правильности программы
proof of authorisation	подтверждение авторизации (Andrey Truhachev)
proof of concept	доказательство правильности концепции (Evidence that demonstrates that a business model or idea is feasible Georgy Moiseenko)
proof of concept study	анализ с целью подтверждения правильности концепции (Georgy Moiseenko)
proof of concept study	исследование с целью подтверждения правильности концепции (Georgy Moiseenko)
proof of termination	доказательство правильности завершения работы
proof procedure	процедура доказательств
proof reading	проверочное считывание