Where can I find Polyspace documentation?

Question

MathWorks Support Team 2013-3-28

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/100442-where-can-i-find-polyspace-documentation

回答： Anirban 2019-8-7

采纳的回答： MathWorks Support Team

I am installing Polyspace. Where can I find instructions on how to install the product?

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

Answer 1

MathWorks Support Team 2018-11-21

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/100442-where-can-i-find-polyspace-documentation#answer_109790

Polyspace installation and user guide information can be found in two locations.

Polyspace Bug Finder

https://www.mathworks.com/help/bugfinder/index.html

*Polyspace Code Prover *

https://www.mathworks.com/help/codeprover/index.html

Polyspace Ada

https://www.mathworks.com/help/polyspace_ada/index.html

Here you will find links to each Polyspace product. You can also find all documentation on the DVD in the Docs folder. This is also inside the ISO, however the ISO must be mounted or burned first in order to locate this folder.

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

请先登录，再进行评论。

Answer 2

Anirban 2019-8-7

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/100442-where-can-i-find-polyspace-documentation#answer_386644

For installation of the desktop products, Polyspace Bug Finder and Polyspace Code Prover, see the desktop product installation documentation.

For installation of the server products, Polyspace Bug Finder (Code Prover) Server and Polyspace Bug Finder (Code Prover) Access, see the server product installation documentation.