Matlab Polyspace官方培训资料

polyspace 官方培训资料。在MBD开发过程中,将生成的代码进行静态测试能够在早期以最小的代价发现并解决bug。通过polyspace能够以一种更加便捷的手段验证simulink模型生成的代码。该资料不仅对polyspace的使用方法进行了详细的介绍,并在过程中提供多个上机练习工程,以加深用户对该课程的理解。