What licenses are required for running Polyspace code prover ?

Does Polyspace code prover require having both bug finder and code prover licenses ?

Does it also require having MATLAB license ? If yes, then which toolbox(es) are mandatory ?

Answer 1

[akshatsood]

Dear @David Ghaly

Product Requirements for Polyspace Code Prover

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

For more information, please visit this page

https://in.mathworks.com/support/requirements/polyspace-code-prover.html

I hope this helps.

[David Ghaly]

Thanks, I already saw the link, but wanted to double-confirm the required "licenses"