PolySpace代码Prover Server的产品要求和平台可用性

金宝app支持的平台

Mac，Windows，Linux

产品需求

  • 需要PolySpace Bug Finder Server
  • 不需要matlab或simulink金宝app
  • 物理核至少4个，建议每个核4gb

适用于MATLAB编译器和Simulink编译器金宝app

没有

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

尽管获得了MATLAB并行服务器工作者的数量，但是多核园验证的数量运行，许可用户可以同时使用PolySpace代码谚语服务器同时执行，或者PolySpace Bug Finder Server不得超过各个PolySpace程序可用的键数。

其他需求

Apple Silicon Mac不支持PolySpace代码PROVE金宝appR服务器。

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

在R2019A介绍

查看其他产品的要求：