cq認證是什麼

CQC標誌認證是中國質量認證中心開展的自願性產品認證業務之一，以加施CQC標誌的方式表明產品符合相關的質量、安全、性能、電磁兼容等認證要求，認證範圍設計機械設備、電力設備、電器、電子產品、紡織品、建材等500多種產品。

cp:Correctness Proofs正確性證明。它是軟件工程中軟件測試的一種方法，該方法採用一種數學技術，也就是一種數學證明過程。