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

万博1manbetx支持的平台上

Mac, Windows、Linux

产品需求

  • 需要Polyspace Bug查找器
  • 不需要MATLAB或Simulink万博1manbetx
  • 建议使用每核4 GB的至少4个物理核心

适用于MATLAB编译器和Simulink编译器万博1manbetx

不

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

不

其他需求

Polyspace Code Prover在Apple s万博1manbetxilicon mac上不支持。

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

介绍了R2013b

查看另一个产品的需求: