Polyspace Model Link SL/TL a part of Code Prover/Bug Finder?
2 views (last 30 days)
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: