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

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

youdao

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

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

youdao