partial correctness proof
partial correctness proof是什么意思、partial correctness proof怎么读
读音：[ˈpɑːʃl kəˈrektnəs pruːf]
[ˈpɑːrʃl kəˈrektnəs pruːf]
partial correctness proof 基本解释
网络 部分正確性證明; 部分正确性证明
重点词汇
- partiala. 部分的, 偏袒的, 偏爱的 n. 分音
- proofn. 证据, 证明, 试验, 检验, 考验 a. 不能透入的, 证明用的, 防...的, 耐...的 vt. 检验, 试验, 校对, 使不被穿透 [计] 审稿
- correctness[计] 正确性 [经] 正确性
partial correctness proof 双语例句
- 1、
Formal verification of the completely correctness is formulated as partial correctness and termination by formal proof method.
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。