AdaCore（エイダコア、本社米国ニューヨーク州）は、本日、株式会社IHI（以下IHI）が、自動運転トラックシステムの開発で、高度な安全性と信頼性を確保し、かつ費用対効果の高い手法として、QGenツールスイートに含まれるQGen Model VerifierとAdaCoreの専門家に ...