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

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

Answer 1

[Wilson A N]

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