Product Requirements & Platform Availability for Polyspace Code Prover Server

Supported Platforms

Mac, Windows, Linux

Product Requirements

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

Introduced in R2019a

View requirements for another product: