What licenses are required for running Polyspace code prover ?

3 次查看（过去 30 天）
David Ghaly
David Ghaly 2024-8-15
评论： David Ghaly 2024-8-15
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 ?

请先登录，再回答此问题。

采纳的回答

akshatsood
akshatsood 2024-8-15
编辑：akshatsood 2024-8-15
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.

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Command-Line Only Options 的更多信息

标签

产品

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by