Polyspace^®Code Prover™C+ c+ c ++ c ++ソースソースソースコードのオーバーオーバーフローフロー，，ゼロゼロ除算配列配列の范囲范囲外外へののアクセスおよびおよびそのそのそのそのののエラーエラーエラーエラーエラーエラーエラーエラーエラーののテストケース必要ことなく，结果生成されます。Polyspace代码供供商品，セマンティクスおよび的手法に基づく抽象的解釈解釈が使用されれれれ，，ソフトウェアソフトウェアソフトウェアソフトウェアの手続き手続きのフローフロー，，，，，，コントロールコントロールコントロールコントロールコントロールフローフロー，，およびおよびおよびデータデータデータデータデータフローフローフローフローが动作検证検证検证ささささささささささささささささささささささささささささささささささささささささささ2 2つのまたはつのに対して使用できます各动作色れれれ，，ランタイムランタイムエラーエラーエラーなしなし，エラーとと证明证明，到达到达能能，またはまたは未

Polyspace代码供供商品，変数の値の范囲情报も表示されさされれたた范囲范囲范囲限限界をを超え超えたた変数変数を证明证明できますます。。。。结果ををををボードボードボードにににににに适合するます。Polyspace代码供供商品をビルド统合する，自动化れ検证を実行することができます。

IEC认证套件（IEC 61508とISO 26262用）