Product Requirements & Platform Availability for Polyspace Bug Finder

Supported Platforms

Mac, Windows, Linux

Product Requirements

  • Polyspace Code Prover recommended
  • Does not require MATLAB or Simulink

Eligible for Use with MATLAB Compiler and Simulink Compiler


Eligible for Use with Parallel Computing Toolbox and MATLAB Parallel Server


Other Requirements

Uses instance-based licensing, not concurrent user

Introduced in R2013b

View requirements for another product: