MATLAB and Simulink Requirements

Product Requirements & Platform Availability for Polyspace Code Prover

Supported Platforms

Mac, Windows, Linux

Product Requirements

  • Requires Polyspace Bug Finder
  • Does not require MATLAB or Simulink
  • A minimum of 4 physical cores with 4 GB per core is recommended

Eligible for Use with MATLAB Compiler and Simulink Compiler


Eligible for Use with Parallel Computing Toolbox and MATLAB Parallel Server


Other Requirements

4 GB of RAM per CPU core is recommended.

Polyspace Code Prover is not supported on Apple silicon Macs.

Polyspace Code Prover is not supported on ARM-based Windows.

Introduced in R2013b

View requirements for another product: