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

金宝app支持的平台

Mac,Windows,Linux

Product Requirements

  • 需要polyspace bug finder服务器
  • 不需要MATLAB或SIMULINK金宝app
  • A minimum of 4 physical cores with 4 GB per core is recommended

Eligible for Use with MATLAB Compiler and Simulink Compiler

No

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

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

其他需求

Apple Silicon Mac不支持Polyspace代码供服务器。金宝app

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

在R2019a中引入

查看另一个产品的要求: