产品要求& Platform Availability for Polyspace Bug Finder Server

Supported Platforms

Mac, Windows, Linux

产品要求

Does not require MATLAB or Simulink

有资格与MATLAB编译器和SIMULINK编译器一起使用金宝app

不

Eligible for Use with Parallel Computing Toolbox and MATLAB Parallel Server

不twithstanding the number of MATLAB Parallel Server workers acquired, the number of Polyspace verification runs that a Licensed User may simultaneously execute using the Polyspace Code Prover Server or the Polyspace Bug Finder Server shall not exceed the number of keys available for the respective Polyspace Program.

Other Requirements

Polyspace Bug Finder.Server is not supported on Apple silicon Macs.

Uses instance-based licensing, not concurrent user

Introduced in R2019a

View requirements for another product: