Product Requirements & Platform Availability for Polyspace Bug Finder Server
Supported Platforms
Mac, Windows, Linux
Product Requirements
- Does not require MATLAB or Simulink
Eligible for Use with MATLAB Compiler and Simulink Compiler
No
Eligible for Use with Parallel Computing Toolbox and MATLAB Parallel Server
Notwithstanding the number of MATLAB Parallel Server workers acquired, the number of Polyspace verification runs that a Licensed User may simultaneously execute using the Polyspace Code Prover Server or the Polyspace Bug Finder Server shall not exceed the number of keys available for the respective Polyspace Program.
Other Requirements
Uses instance-based licensing, not concurrent user
Introduced in R2019a
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: .
Select web 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)