编译器验证（CVK：CompilerVerificationKit）是一套工具包，用于验证用户所选用的编译器能否正确地编译SCADEKCG生成的代码。SCADE通过保证模型的正确性和安全性以及模型到实现的一致性，***大程度地保证了源代码的质量，因此需要通过验证编译器确保编译器正确地将源代码编译成目标代码。)