Polyspace Bug查找服务器的产品要求和平台可用性

• 不需要MATLAB或Simulink金宝app

适合与MATLAB编译器和Simulink编译器一起使用金宝app

没有

可与并行计算工具箱和MATLAB并行服务器一起使用

尽管获得了MATLAB Parallel Server worker的数量，但许可用户可以同时使用Polyspace代码验证服务器或Polyspace Bug查找服务器执行的Polyspace验证运行的数量不应超过相应Polyspace程序可用的键数。