programming correctness proof中文翻译

programming correctness proof

中文翻译

程序正确性证明

相关单词

programming
读音：['prәugræmiŋ]
n.节目的计划，编制程序
程序设计；程序编制
程序设计，程序编制

correctness
正确性
正确性

proof
读音：[pru:f]
n.证据，证明，试验，检验，考验
a.不能透入的，证明用的，防...的，耐...的
vt.检验，试验，校对，使不被穿透
审稿
验证
不能透过的，证明
证据，检验，对证