Polyspace代码证明程序的产品要求和平台可用性
支持的平台上
Mac, Windows, Linux
产品需求
- 需要Polyspace Bug Finder
- 不需要MATLAB或Simulink
- 建议物理核个数最少为4个,每个物理核容量为4gb
适合与MATLAB编译器和Simulink编译器一起使用
没有
适合与并行计算工具箱和MATLAB并行服务器一起使用
没有
其他需求
苹果硅mac不支持Polyspace Code Prover。
使用基于实例的授权,而不是并发用户
在R2013b中介绍
查看其他产品的需求: