インストール

デスクトップで使用する場合は、Polyspace Code Prover™ をインストールします。この製品は、対話型での構成のため、および結果のレビューのためのユーザー インターフェイスを提供し、自動実行もサポートしています。

サーバーで自動実行するには、Polyspace Code Prover Server™ と Polyspace Access™ をインストールします。Polyspace Code Prover Server では、コード送信後にサーバー上でスケジュールされた実行を行うことができます。Polyspace Access は、結果を格納するためのリポジトリを提供し、Web ブラウザー上での複数レビュー担当者による同時レビューをサポートしています。