Polyspace Code Prover的产品需求和平台可用性

金宝app支持的平台上

Mac, Windows、Linux

产品需求

  • 需要Polyspace Bug查找器
  • 不需要MATLAB或Simulink金宝app
  • 物理核至少4个，建议每个核4gb

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

没有

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

没有

其他需求

Polyspace Code Prover在Apple s金宝appilicon mac上不支持。

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

介绍了R2013b

查看另一个产品的需求: