Polyspace Model Link SL/TL a part of Code Prover/Bug Finder?

3 次查看（过去 30 天）
Rashmi Bharadwaja
回答： Wilson A N 2018-4-11
Hello,
I am a new user to Polyspace tools. Does anybody know if the Polyspace Model link is a part of Code Prover/Bug Finder? Or, is this an additional toolbox?
Polyspace Model Link TL
Thanks in advance.
Cheers, Rashmi

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

回答（1 个）

Wilson A N
Wilson A N 2018-4-11
Polyspace Model Link comes with as an additional option in Simulink if you have installed Polyspace Products.
Now, you can perform both BugFinder and Code Prover operations on the generated code from the model using Polyspace Model Link.
You can check it out from the following links:
https://www.mathworks.com/help/codeprover/ug/running-a-verification-with-polyspace-model-link-tl.html

类别

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

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by