カルダノ財団は5日、仮想通貨ADAがスイスのスーパーマーケットチェーン「Spar（スパー）」の137店舗で決済手段として利用可能になったと発表した。Sparは世界48カ国に展開する大手食品小売チェーンで、スイス国内でも広く展開している。 スイスのフィンテック企業DFX.swissが提供する決済規格「Open Crypto Pay」を通じた統合で、ユーザーはADAウォレットからQRコードをスキャンす ...

Who doesn’t want to use a programming language that is designed to be reliable, straightforward to learn and also happens to be certified for everything from avionics to rockets and ICBMs? Despite Ada ...

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

CodePeerは、CWE準拠の先進的なAdaコード用静的解析ツールで、ソフトウェアのエラーを検出し、レビューして検証する機能を備えています。 また、CodePeerは、MITRE社のCommon Weakness Enumeration（CWE）で「最も危険なソフトウェアエラー上位25」の検出が可能です。

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