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
有资格使用MATLAB编译器和仿真软件万博1manbetxCompiler
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:
You 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(한국어)