Polyspace のインストール

デスクトップ: Polyspace Code Prover™ は主に、各自のマシンで解析を実行する単独ユーザー向けです。この製品は、対話型での構成のため、および結果のレビューのためのユーザー インターフェイスを提供し、自動実行もサポートしています。

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