partial correctness

基本解释

Programmers can verify the partial correctness of multi-core parallel programs in our framework.
在该框架下，程序员可以对多核并行程序的部分正确性进行验证。
The partial coherence function is defined and its correctness has been verified. Then this result is extended to the linear system of multi-input and multi-output. Finally, its applications…
定义了偏凝聚函数，并验证其正确性，然后将结果推广到多输入多输出线性系统，最后简述其应用。
In processing the software data, the theory of partial repeatability offers a criteria for evaluating different classifier by building "center function", "fluctuation zone" and "correctness factor".
在对复杂数据的处理过程中，“部分重复性”理论通过建立“中心函数”、“浮动域”和“正确度”指标，提供了一种分类优劣的评价标准。