MATLAB and Simulink Requirements
Mac, Windows, Linux
Notwithstanding 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.
Polyspace Code Prover Server is not supported on Apple silicon Macs.
Uses instance-based licensing, not concurrent user
Introduced in R2019a
View requirements for another product:
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.