proof of program correctness

proof of program correctness是什么意思、proof of program correctness怎么读
【计】 程序正确性证明

proof of program correctness汉语翻译

【计】 程序正确性证明