MATLAB and Simulink Requirements

Product Requirements & Platform Availability for Polyspace Code Prover Access

Supported Platforms

Windows, Linux

Product Requirements

  • Requires Polyspace Bug Finder Access

Eligible for Use with MATLAB Compiler and and Simulink Compiler


Eligible for Use with Parallel Computing Toolbox and MATLAB Parallel Server


Other Requirements

Only available under a prepaid annual Term license

Introduced in R2019a

View requirements for another product: