Hi,
You can install the Polyspace desktop products (Polyspace Bug Finder, Polyspace Code Prover) or Polyspace Server products (Polyspace Bug Finder Server, Polyspace Code Prover Server) using the usual MathWorks installer. Download the Linux version of the installer here: https://www.mathworks.com/downloads/web_downloads/download_release?release=R2020a
You can unzip the installer, cd into the unzipped folder and enter: ./install
This will open the installer. You can then follow the prompts. If you are installing on a server where you cannot open the installer user interface and have to perform the installation entirely at the command line, the steps are slightly more complicated. Let us know if this is your situation.
You can install the Polyspace Access products here: https://www.mathworks.com/downloads/web_downloads/download_polyspace_access/R2020a
(You can reach the download page for Polyspace Access from the main download page https://www.mathworks.com/downloads/ by first selecting 'Download R2020a' and scrolling down to the 'Additional Product Downloads Section').
