Polyspace代码验证器的产品要求和平台可用性
金宝app支持的平台上
Mac, Windows、Linux
产品需求
- 需要Polyspace Bug Finder
- 不需要MATLAB或Simulink金宝app
- 建议至少配置4个物理核，每核4gb
符合使用MATLAB编译器和Simulink编译器金宝app
没有
符合使用并行计算工具箱和MATLAB并行服务器
没有
其他需求
Polyspace Code Prover在苹果硅mac上金宝app不受支持。
使用基于实例的许可，而不是并发用户
介绍了R2013b
查看其他产品的要求:
你也可以从以下列表中选择一个网站: