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

Polyspace Code Prover is not supported on Apple silicon Macs. 

Uses instance-based licensing, not concurrent user

Introduced in R2013b

View requirements for another product: