AdaCore
New York, NY 10001 [email protected]
+1 212 620 7300
https://www.adacore.com/
HITACHI Rail STS Chooses AdaCore's GNAT Pro Software Development Environment for New Rail Safety Platform - Press Release
October 14, 2020AdaCore announced that HITACHI Rail STS has selected AdaCore's GNAT Pro software development environment for the modernization of its CSD rail safety platform.
Embedded Toolbox: Use Ada and Let the Compiler Do the Static Analysis - Video
June 23, 2020The Ada language abstracts most direct interaction with memory onto compilers, transitioning things like memory checks from a manual human operation to automatic. Get ready to save tons of debug time.
Electric Power Steering System Supplier JTEKT Selects SPARK Pro for Safety-Critical Automotive Software - News
June 23, 2020Formal methods help JTEKT reduce development and verification costs for safe autonomous driving systems.
AdaCore Announces Winners of Fourth Annual "Make with Ada" Competition - Press Release
March 05, 2020A variety of unique submissions demonstrate the ease of learning and using Ada and SPARK in embedded applications.
AdaCore Expands its Presence in the UK to Support Thriving Aerospace and Defense Industries - Press Release
August 14, 2019AdaCore today announced the opening of AdaCore Ltd, which will serve as the company?s UK centre-of-excellence for the development of safety- and security-critical software tools.
AdaCore's Third Annual "Make with Ada" Competition Winners Announced - News
March 26, 2019Contest shows ease of using Ada and SPARK to develop reliable, safe, and secure software.
AdaCore Broadens GNAT Pro Support for Wind River?s Latest VxWorks RTOS - News
March 13, 2019AdaCore committed to long-term Ada, C, and C++ support on industry-leading RTOS.