アイティアクセス取扱のメーカーAdaCoreより、プレスを発表しました。
~AdaCore社はRISC-V財団に加盟C/Adaコンパイラを提供開始~
「GNAT ProとGNATコミュニティのツールチェーンが業務用とホビイスト用両方で利用可能」
~AdaCore社はNVIDIA社と共同でファームウエアのセキュリティを強化~
「Ada/SPARK言語はセキュリティ・クリティカルなソフトウェア開発と検証コストを低減」
News
~AdaCore社はRISC-V財団に加盟C/Adaコンパイラを提供開始~
「GNAT ProとGNATコミュニティのツールチェーンが業務用とホビイスト用両方で利用可能」
~AdaCore社はNVIDIA社と共同でファームウエアのセキュリティを強化~
「Ada/SPARK言語はセキュリティ・クリティカルなソフトウェア開発と検証コストを低減」