Polyspace代码验证服务器的产品要求和平台可用性
支持的平台上
Mac, Windows, Linux
产品需求
- 需要Polyspace漏洞查找服务器
- 不需要MATLAB或Simulink
- 建议物理核数量不少于4个,每个核容量为4gb
适用于MATLAB编译器和Simulink编译器
没有
适用于并行计算工具箱和MATLAB并行服务器
尽管获得了MATLAB并行服务器工作者的数量,但许可用户可以使用Polyspace代码验证服务器或Polyspace Bug查找服务器同时执行的Polyspace验证运行的数量不应超过各自Polyspace程序可用的密钥数量。
其他需求
苹果硅mac上不支持Polyspace Code Prover Server。
使用基于实例的许可,而不是并发用户
在R2019a中引入
查看其他产品的需求: