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".
在對複襍數據的処理過程中，“部分重複性”理論通過建立“中心函數”、“浮動域”和“正確度”指標，提供了一種分類優劣的評價標準。