MATLAB和SIMU万博1manbetxLINK要求

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

万博1manbetx支持的平台

Mac，Windows，Linux

产品要求

  • 需要polyspace bug finder服务器
  • 不需要MATLAB或SIMULINK万博1manbetx
  • 建议至少4个物理核，每个核心4 GB

有资格与MATLAB编译器和Simulink编译器一起使用万博1manbetx

不

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

尽管获得了MATLAB并行服务器工人的数量，但许可用户可以使用PolySpace Code Prover Server或PolySpace Bug Finder Server可以同时执行的Polyspace验证数量不得超过相应PolySpace程序可用的密钥数。

其他需求

Apple Silicon Mac不支持Polyspace代码供服务器。万博1manbetx

使用基于实例的许可，而不是并发用户

在R2019a中引入

查看另一个产品的要求：