AdaCore（エイダコア、本社：米国ニューヨーク州）は本日、株式会社ジェイテクト（以下JTEKT）、自動車用電動パワーステアリング・システムの製造メーカが、安全が重視されるパワーステアリング・システム・ソフトウェアの開発を支援するために、AdaCoreの ...

AdaCore（エイダコア、本社：米国ニューヨーク州）は本日、株式会社デンソー（以下デンソー）向け研究プロジェクト「Freedom from Interference（以下FFI）を実証するためフォーマルメソッドの適用」が成功裏に終了したと発表しました。 このプロジェクトは ...

今回紹介するエイダコイン（ADA）は、DApps（分散型アプリ）の開発ができるパブリックブロックチェーン、「カルダノ」の基軸通貨だ。 DAppsの開発プラットフォームには多数の競合が存在するが、その中でもカルダノは高い人気を誇り、エイダコインは時価 ...

SPARKの形式手法が、安全重視の自動運転システム向け開発、検証コストを削減 [画像1: https://prtimes.jp/i/31021/2/resize/d31021-2-142537 ...