检测认证人脉交流通讯录
- 编译器验证（CVK：Compiler Verification Kit）是一套工具包，用于验证用户所选用的编译器能否正确地编译SCADE KCG生成的代码。SCADE通过保证模型的正确性和安全性以及模型到实现的一致性，最大程度地保证了源代码的质量，因此需要通过验证编译器确保编译器正确地将源代码编译成目标代码。 基于SCADE给客户提供5天的SCADE 基础培训，帮助用户熟练掌握SCADE基本建模，验证，覆盖率分析以及SCADE底层的方法学等内容。 Consultant（咨询） 结合客户具体项目，协助客户使用SCADE进行实现，帮助客户完成基于SCADE 的开发计划、验证计划以及部分建模工作。
