Install Code Prover for Desktop Usage
Install Polyspace®
Code Prover™ on desktops
Install Polyspace Code Prover to check for run-time errors in C/C++ code on your desktop. Depending on how you want to run Code Prover, you have to perform additional one-time steps for product setup.
Topics
- Install Polyspace Desktop Products
Install Polyspace Bug Finder™ or Polyspace Code Prover.
- Integrate Polyspace with MATLAB and Simulink
Integrate Polyspace with MATLAB® and Simulink® to identify potential bugs, run-time errors, and coding standard violations in your model and code.
- Configure License Borrowing for Polyspace Products (Polyspace Access)
Borrow license to use Polyspace offline.
- Update Polyspace Products
Update Polyspace products for desktop and server installations.
- Migrate Polyspace Projects After Product Upgrade
Update options and account for new in results after updating Polyspace release.
- Configure License Borrowing for Polyspace Products
Borrow license to use Polyspace offline.
