波尔盖斯
重要なコードを安防かつセキュアにする
波尔盖斯®，数百种类の追のに対するチェッカーが含まれいいいいますます。
PolySpace代码箴言
コードを実行することなく重大大なランタイムがないことを形式形式に明
Polyspace Bug Finder.
コーディンコーディング，セキュリティセキュリティ，コードメトリクスをし，バグを検出
ADAの波动
ソースソースコードにランタイムランタイムエラーがないことを明
C / C ++やadaにに形式形式法を使使し，自动化された的コードコード
品牌
テストテストケースやコードコードをを実することなくバグを検出，重大なランタイムエラーがないを形式形式的にに明
安全
安徽价格を満たし，米苏，ISO 26262，IEC 61508，DO-178，FDA规制への准拠を文书明
セキュリティ
CWE，CERT-C，ISO / IEC 17961などの标准についてチェック
日产
POLYSPACEは，どのコードを実行したにランタイムエラーがが生
Alenia Aermacchi.
POLYSPACE静的解析解析ツール，ランタイムエラーに対してコードををチェック，ismraコーディング规约の准拠准拠をして，do-178认证てのアーティをを作物
奇景
POLYSPACEは，米兰犬がFDAなどの规制コミュニティに対しててと正式性性を示し，当社当社デバイスが安全である证明するのに役立ちである。
