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

• 不需要MATLAB或Simulink
• 建议物理核个数最少为4个，每个物理核容量为4gb

适合与MATLAB编译器和Simulink编译器一起使用

没有

适合与并行计算工具箱和MATLAB并行服务器一起使用

尽管获得了MATLAB并行服务器工作者的数量，许可用户可以使用Polyspace代码验证服务器或Polyspace Bug查找服务器同时执行的Polyspace验证运行的数量不应超过各自Polyspace程序可用的密钥数量。