- 製品・サービス
1件 - メーカー・取り扱い企業
企業
6件 - カタログ
87件
絞り込み条件
-
-
形式検証と静的検証が統合されたツール・スイートでプログラムエラーを最小…
『SPARK Pro』は、形式検証可能なAda 2012サブセットの言語を使用し、ソフトウェア検証に数学ベースの信頼性をもたらすツールセットです。 当製品を使用して、ソフトウェア・アーキテクチャ要件を形式的に定義、自動検証。 実行時エラーを削減し、セーフティ・プロパティまたはセキュリティ・ポリシーの適用、機能の正確性 (形式的に定義された仕様への準拠) などの幅広いソフトウェア整合性に対す...
メーカー・取り扱い企業: アイティアクセス株式会社 本社
- 表示件数
- 60件
- < 前へ
- 1
- 次へ >
※このキーワードに関連する製品情報が登録
された場合にメールでお知らせします。