证明程序正确性的英文

• proving program correct

• "证明"英文翻译    prove; testify; bear out
• "程序"英文翻译    procedure
• "正确性"英文翻译    exactness; correctness; soun ...
• "征明程序正确性" 英文翻译 :    proving program correct
• "程序正确性证明" 英文翻译 :    mathematical proofs of program correctness; programming correctness proof; proof of correctness; proof of program correctness
• "程序正确性" 英文翻译 :    program correctness
• "程序正确性检查" 英文翻译 :    program validation
• "正确性证明" 英文翻译 :    correctne proof; correctness proof; justification; proof of correctness
• "定理证明程序" 英文翻译 :    theorem prover
• "程序的正确性" 英文翻译 :    program correctness
• "部分正确性证明" 英文翻译 :    partial correctness proof
• "正确性的程序设计" 英文翻译 :    correctness oriented programming
• "博耶穆尔定理证明程序" 英文翻译 :    boyermoore theorem prover
• "正确性" 英文翻译 :    accuracy; correctness; justness; legitimacy; trueness; truth; validity; verecity
• "面向正确性的程序设计" 英文翻译 :    correctness-oriented programming
• "简明程序" 英文翻译 :    straightforward routine
• "程序正义" 英文翻译 :    procedural justice
• "源程序正文" 英文翻译 :    source text
• "子程序正文" 英文翻译 :    routine text
• "不正确性" 英文翻译 :    inaccuracy
• "部分正确性" 英文翻译 :    partial correctness
• "抽样正确性" 英文翻译 :    sampling accuracy
• "概率正确性" 英文翻译 :    probable correctness
• "估计正确性" 英文翻译 :    accuracy of estimation
• "计算正确性" 英文翻译 :    accuracy in computations