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

万博1manbetx支撑平台

Mac、Windows、Linux

产品要求

  • 不需要MATLAB或Simulink万博1manbetx

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

不

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

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

其他要求

Apple silicon Mac不支持Polyspace Bug F万博1manbetxinder服务器。

使用基于实例的授权，而不是并发用户

在R2019a中引入

查看其他产品的要求：