Automated checks on a server during continuous integration:

Check for bugs, run-time errors and coding standard violations during continuous integration. The analysis runs on a server as a build step in a continuous integration process after code submission. The build step runs at periodic intervals or based on predefined triggers. The results are uploaded to the Polyspace Access web interface for review.

Offloading analysis from desktops to a server:

Check for bugs and coding standard violations as part of code submission criteria, but offload the checks to a server. The analysis job is submitted using the desktop product, Polyspace Code Prover, but runs on a server using Polyspace Code Prover Server. The results are downloaded back to the desktop product for review.