CQC标志认证是中国质量认证中心开展的自愿性产品认证业务之一，以加施CQC标志的方式表明产品符合相关的质量、安全、性能、电磁兼容等认证要求，认证范围设计机械设备、电力设备、电器、电子产品、纺织品、建材等500多种产品。
cp:Correctness Proofs正确性证明。它是软件工程中软件测试的一种方法，该方法采用一种数学技术，也就是一种数学证明过程。
