发布网友 发布时间:2022-05-11 04:18
我来回答
共1个回答
热心网友 时间:2023-07-28 10:00
cp:Correctness Proofs正确性证明。它是软件工程中软件测试的一种方法,该方法采用一种数学技术,也就是一种数学证明过程(即数字认证)。