Opening Code Prover results is only possible with the Code Prover application. If you double click on a .pscp (Polyspace Code Prover Results) file in the file browser, the correct application will automatically open and display the results. Alternatively you can open the Code Prover application manually (for instance from the Start Menu) and then choose File > Open Result, and then select the results file of the Code Prover project.
While the Code Prover application is required to open Code Prover results, please note that even if only the Polyspace Bug Finder product is installed, the Code Prover application is available to view verification results of Polyspace Code Prover.
Best Answer