Ada Core 5849d5b452d96

AdaCore

150 W. 30th Street 16th floor
New York, NY 10001
United States of America
1-877-787-4628
1-212-807-0162

More Info on AdaCore

AdaCore
Ada Core 5849d5b452d96

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems. Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as space systems, commercial avionics, military systems, air traffic management/control, railway systems, medical devices and financial services

Press Releases

Going forward, it will be the universal safety platform for use on all Hitachi Rail STS’s “Wayside” and “On-Board” projects.
Oct. 14, 2020
AdaCore has announced that its GNAT Pro Ada environment has been successfully used by Thales to develop and verify a qualified autocode generator for critical airborne software...
Oct. 31, 2017
AdaCore recently announced that its CodePeer advanced static analysis tool for Ada has been formally designated as “CWE-Compatible” by the MITRE Corporation’s Common Weakness ...
Dec. 8, 2016

Request More Information From AdaCore

By clicking above, I agree to Endeavor Business Media's Terms of Service and consent to receive promotional communications from Endeavor, its affiliates, and partners per its Privacy Notice. I also understand my personal information will be shared with the sponsor of this content, who may contact me about their offerings per their privacy policy. I can unsubscribe anytime.