Polyspace代码验证服务器的产品需求和平台可用性

• 不需要MATLAB或Simulink万博1manbetx
• 建议使用每核4 GB的至少4个物理核心

符合MATLAB编译器和SIMULINK编译器的资格万博1manbetx

不

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

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