AdaCore社はNVIDIA社と共同でファームウエアのセキュリティを強化「Ada/SPARK言語はセキュリティ・クリティカルなソフトウェア開発と検証コストを低減」