产品需求&平台可用性Polyspace代码验证
万博1manbetx支持的平台上
Mac, Windows、Linux
产品需求
- 需要Polyspace Bug仪
- 不需要MATLAB或仿真软件万博1manbetx
- 至少4物理核4 GB /核心建议
申请使用MATLAB编译器和仿真软件的编译器万博1manbetx
没有
申请使用并行计算工具箱和MATLAB并行服务器
没有
其他需求
建议4 GB内存/ CPU核心。
硅Polyspace代码验证不支持苹果mac电脑。万博1manbetx
采用基于实例的授权,而不是并发用户
介绍了R2013b
另一个产品的要求: