Polyspace Bug Finder and Code Prover R2013b and newer are in the same installer used to install MATLAB: the MathWorks Product Installer. After downloading and launching the installer, make you select the appropriate license that contain the Polyspace products. For R2019a and newer, they will be on their own separate license. For R2013b-R2018b, you will find them on one of our MATLAB licenses, since they are considered MATLAB toolboxes in these releases.
If you don't have the option to download Polyspace Bug Finder or Code Prover for R2018b and older, please contact Customer Support.
Contact Support
