How do I download Polyspace Products that I am licensed for?

Solution:

To download Polyspace products, you must be associated with a Polyspace license. If you are associated to a Polyspace license, you will need to log in to your MathWorks account and do the following:

1. On the left side of the page, click the link that says "Get Licensed Products and Updates". This will take you to the downloads section of the site. Once there, click on "download now".

2. Select "Polyspace Products" and click "Continue"

3. Click the "Download" button for the appropriate products. This will download ISO images of the product media to your computer.

4. Either burn a CD/DVD of the ISO image or mount it.

5. Double-click the setup.exe program located on the CD you just burned or in the virtual mount point to launch the installer.

For more information regarding ISO images, see the related Solution below.