Polyspace Bug Finder服务器的产品要求和平台可用性

• 不需要MATLAB或Simulink吗金宝app

适合使用MATLAB编译器和Simulink编译器金宝app

没有

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

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