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
No
Eligible for Use with Parallel Computing Toolbox and MATLAB Parallel Server
No
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:
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select:.
Selectweb siteYou can also select a web site from the following list:
Americas
- América Latina(Español)
- Canada(English)
- United States(English)
Europe
- Belgium(English)
- Denmark(English)
- Deutschland(Deutsch)
- España(Español)
- Finland(English)
- France(Français)
- Ireland(English)
- Italia(Italiano)
- Luxembourg(English)
- Netherlands(English)
- Norway(English)
- Österreich(Deutsch)
- Portugal(English)
- Sweden(English)
- Switzerland
- United Kingdom(English)
Asia Pacific
- Australia(English)
- India(English)
- New Zealand(English)
- 中国
- 日本Japanese(日本語)
- 한국Korean(한국어)