How to work with Polyspace from the basic?

Question

Ara 2022-6-4

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1733650-how-to-work-with-polyspace-from-the-basic

评论： Ara 2022-6-10

Dear All,

I just installed Polyspace but I cannot use it. I cannot run code nor plot anything as the option is not working. Is that because of licenses issue or I have to do anything in order to use it?

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

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

Answer 1

Anirban 2022-6-7

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1733650-how-to-work-with-polyspace-from-the-basic#answer_980705

编辑：Anirban 2022-6-7

Are you attempting to run Polyspace from MATLAB? Are you seeing some error? (A license checkout issue will show up as an error when you start running Polyspace.)

There is a one-time integration step you have to perform to make Polyspace functions available from MATLAB. See Integrate Polyspace with MATLAB and Simulink.

Otherwise, you can also open the Polyspace UI from the installation folder (or run commands from the command line). See Open Polyspace User Interface or Run Polyspace from Windows or Linux Command Line.

1 个评论
显示 -1更早的评论隐藏 -1更早的评论

Ara 2022-6-10

Thank you, Anirban, for your response. I install Matlab but the polyspace also installed it. I was successful to run Matlab from one of the folders. I do not think the license issue does occur as I did not get any error.

Why polyspace added to the Matlab installaion? I do not know how to work with.

Best regards,

请先登录，再进行评论。