Installation

Install Polyspace Code Prover™ for desktop usage. This product provides a user interface for interactive configuration and results review and also supports automated runs.

Install Polyspace Code Prover Server™ and Polyspace Access™ for automated runs on a server. Polyspace Code Prover Server allows you to perform scheduled runs on a server after code submission. Polyspace Access provides a repository for storing results and supports many reviewers reviewing simultaneously on web browsers.