部分正确性证明英文解释翻译、部分正确性证明的近义词、反义词、例句
英语翻译:
【计】 partial correctness proof
分词翻译:
部分的英语翻译:
part; section; portion; proportion; sect; segment; share
【计】 division; element
【医】 binary division; fraction; mero-; pars; part; Partes; portio; portiones
正确的英语翻译:
accuracy; exactness; justness; nicety; preciseness; punctuality
【经】 accuracy
证明的英语翻译:
prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【计】 proofness; proving
【化】 proofing
【医】 certificate; certify; proof
【经】 attest; attestation; authenticated; authentication; certification
certify; testimony
网络扩展解释
部分正确性证明
“部分正确性证明”是一种用于证明计算机程序部分正确性的方法。它在软件开发中得到了广泛的应用。
中文拼音
bù fèn zhèng què xìng zhèng míng
英语解释翻译
Partial Correctness Proof
英文读音
/ˈpɑːʃəl kəˈrektˌnəs pruːf/
英文的用法(中文解释)
“Partial Correctness Proof”常被用于证明计算机程序的部分正确性,即程序的执行满足前置条件时,程序能够产生正确的输出结果。
英文例句(包含中文解释)
For example, a partial correctness proof might show that if x is a prime number, then the program correctly outputs “x is prime”. (例如,部分正确性证明可以证明当x是质数时,该程序会输出“x是质数”,即证明程序在这种情况下是正确的。)
英文近义词(包含中文解释)
Correctness Proof:正确性证明
Formal Verification:形式化验证
Program Verification:程序验证
英文反义词(包含中文解释)
Incorrectness Proof:不正确性证明
Informal Verification:非形式化验证
Program Testing:程序测试
英文单词常用度
根据Google Ngram Viewer的统计数据,自1990年以来,“Partial Correctness Proof”和“Correctness Proof”这两个词的使用频率都呈现上升趋势。