1) partial correctness proof
部分正确性证明
3) protocol correctness proof
协议正确性证明
5) justification; justify
证明正确
6) Partial correctness
部分正确性
1.
Programmers can verify the partial correctness of multi-core parallel programs in our framework.
在该框架下,程序员可以对多核并行程序的部分正确性进行验证。
补充资料：部分
部分
portion
部分【训币佣;。op”H，l，集合的 对于直线上的集合，是指集合与区间的交集;对于。维空问(性)2)中的集合，是指集合与开球、开长方体、开超平行体的交集.这个概念的重要性基于下述事实:集合A在集合B中处处稠密，如果B的任何非空部分含有A的点，换言之，闭包AOB集合A在B中无处稠密，如果A在B的任何部分中无处稠密，即B的任何部分均不含于A，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条