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

2 views (last 30 days)
Rashmi Bharadwaja
Rashmi Bharadwaja on 5 Apr 2018
Answered: Wilson A N on 11 Apr 2018
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?
Thanks in advance.
Cheers, Rashmi

Answers (1)

Wilson A N
Wilson A N on 11 Apr 2018
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:

Community Treasure Hunt

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

Start Hunting!

Translated by