1. ホーム(Home) > 
  2. 製品情報 > 
  3. AdaCore 統合開発環境

AdaCore Products

AdaCore 統合開発環境

AdaCore
  • QGen
  • GNAT Pro
  • GNAT Pro Safety-Critical
  • SPARK Pro

DO-178C(DO-330,DO-331,DO-333),EN 50128,
IEC 61508, ISO26262 認証取得対応
形式手法(Formal Method)開発対応

〜MHIエアロスペースシステムズ株式会社がモデルベース開発にAdaCore のQGen を採用〜
[日本語][English][AdaCore社サイト]

↑このページのトップ