Terms for subject Computers containing доказательство

Russian	English
доказательства корректности "на пальцах"	handwaving correctness arguments (ssn)
доказательство правильности	correctness proof
доказательство правильности завершения работы	proof of termination
доказательство правильности концепции	POC (proof of concept Georgy Moiseenko)
доказательство правильности концепции	proof of concept (Evidence that demonstrates that a business model or idea is feasible Georgy Moiseenko)
доказательство правильности программы	program proof
доказательство теоремы	theorem proving
конструктивное доказательство	constructive proof
неудачное завершение доказательства цели	factorising failure
определённое доказательство	absolute proof
процедура доказательств	proof procedure
чисто теоретическое доказательство	academical argument
чисто теоретическое доказательство	academic argument