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