波尔盖斯^®代码Prover™は安定性の高度静的解析ツールで，cおよびc ++ソースコード内のフロー，ゼロ除算，配列配列范囲范囲のおよびおよび他のランタイムのがががささます。ケースケースを必要とするすること，结果が生成さます。PolySpace代码箴言では，セマンティクスの解析および形式的手法にづく抽象的な解釈使解釈解釈さされ，ソフトウェアの手続き间のの，制御制御，およびおよびの动词がされ。また，手书ます。また，手书きコード，生成されコードまたはその2つの综合わせ検证に使使ますます。各コードステートメントは色ますされ，ランタイムエラーなし，エラーエラー证明，到达不统，または未证明のいずれであることが示されます。

PolySpace代码箴言では，変数および关键词値の范囲情情情れ，指定された范囲を値超えたた変を证検证のをを使使ををををを使使使ををを使使ててメトリクスを追迹追迹しててメトリクスを追迹ししてメトリクスメトリクスを追迹ししてメトリクスメトリクスを追迹しててメトリクスメトリクスを追迹しをチェックできます。PolySpace代码箴言はeclipse™IDEと共にと共に使て，デスクトップ上でコードを検证でき。

业主标准には，IEC认证套件（对于IEC 61508和ISO 26262）と做资格套件（对于do-178）によって対応してい。