アイティアクセス株式会社 ロゴアイティアクセス株式会社本社

最終更新日:2021-10-15 15:54:24.0

  •  

形式検証ツール『SPARK Pro』

形式検証ツール『SPARK Pro』

形式検証ツール『SPARK Pro』 製品画像

『SPARK Pro』は、形式検証可能なAda 2012サブセットの言語を使用し、ソフトウェア検証に数学ベースの信頼性をもたらすツールセットです。
当製品を使用して、ソフトウェア・アーキテクチャ要件を形式的に定義、自動検証。

実行時エラーを削減し、セーフティ・プロパティまたはセキュリティ・ポリシーの適用、機能の正確性 (形式的に定義された仕様への準拠) などの幅広いソフトウェア整合性に対するプロパティを保証する事ができます。

【機能】
■データフロー解析
■インフォメーションフロー解析
■実行時例外の検出
■プロパティチェック
■レベル別検証

※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。 (詳細を見る

取扱会社 形式検証ツール『SPARK Pro』

アイティアクセス株式会社 本社

■Trading Company Function ■System Integrator Function ■Manufacturer Function

形式検証ツール『SPARK Pro』へのお問い合わせ

お問い合わせ内容をご記入ください。

至急度必須

ご要望必須


  • あと文字入力できます。

目的必須

添付資料

お問い合わせ内容

あと文字入力できます。

【ご利用上の注意】
お問い合わせフォームを利用した広告宣伝等の行為は利用規約により禁止しております。
はじめてイプロスをご利用の方 はじめてイプロスをご利用の方 すでに会員の方はこちら
イプロス会員(無料)になると、情報掲載の企業に直接お問い合わせすることができます。
メールアドレス

※お問い合わせをすると、以下の出展者へ会員情報(会社名、部署名、所在地、氏名、TEL、FAX、メールアドレス)が通知されること、また以下の出展者からの電子メール広告を受信することに同意したこととなります。

アイティアクセス株式会社 本社


成功事例