产品需求&平台Polyspace代码验证服务器的可用性

• 不需要MATLAB或仿真软件金宝app
• 至少4物理核4 GB /核心建议

申请使用MATLAB编译器和仿真软件的编译器金宝app

没有

申请使用并行计算工具箱和MATLAB并行服务器

尽管MATLAB并行服务器工人的数量,数量的Polyspace验证运行一个授权用户可能同时执行使用Polyspace代码验证服务器或Polyspace错误查询服务器的数量不得超过键用于各自Polyspace程序。