在该框架下，程序员可以对多核并行程序的部分正确性进行验证。

Programmers can verify the partial correctness of multi-core parallel programs in our framework.

youdao

ConcurrentHashMap实现，加上ut il . concurrent包的其他部分，已经被研究正确性和线程安全性的并发专家所正视。

The ConcurrentHashMap implementation, along with the rest of util.concurrent, has been extensively peer-reviewed by concurrency experts for correctness and thread safety.

youdao

承包商应负责工程的设计，并在除下列雇主应负责的部分外，对雇主要求(包括设计标准和计算)的正确性负责。

The Contractor shall be responsible for the design of the Works and for the accuracy of such Employers Requirements (including design criteria and calculations), except as stated below.

youdao