AdaCore

150 W. 30th Street, 16th floor
New York, NY 10001
[email protected]
+1 212 620 7300
https://www.adacore.com/
AdaCore
Articles related to AdaCore
Software & OS

AdaCore Expands its Presence in the UK to Support Thriving Aerospace and Defense Industries - Press Release

August 14, 2019

AdaCore 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.

Software & OS

AdaCore's Third Annual "Make with Ada" Competition Winners Announced - News

March 26, 2019

Contest shows ease of using Ada and SPARK to develop reliable, safe, and secure software.

Software & OS

AdaCore Broadens GNAT Pro Support for Wind River?s Latest VxWorks RTOS - News

March 13, 2019

AdaCore committed to long-term Ada, C, and C++ support on industry-leading RTOS.

Open Source

Five Minutes With Quentin Ochem, Director, AdaCore - Podcast

March 07, 2019

Ada and RISC-V? Yup, that's exactly what's going on, as nVidia has selected Ada to run on its RISC-V core. What does that mean for the future of Ada? That's the question I started with this week's...

Software & OS

Adacore at Embedded World 2019 - Video

March 05, 2019

Embedded Computing Design's Brandon Lewis talks with Jamie Ayre of Adacore at Embedded World booth #4-149.

Software & OS

embedded world 2017: AdaCore QGen Advances Code Quality in Mission-Critical Devices - Video

March 15, 2017

Jose Ruiz, a Senior Software Engineer at AdaCore, walks Embedded Computing Design's Rich Nass through the latest developments in AdaCore's QGen product for coding safety-critical software. For more in

Software & OS

Embedded World 2016 Video: AdaCore explains Ada's shrinking footprints - Video

February 25, 2016

Embedded Computing Executive VP Rich Nass interviews Commercial Team Lead Jamie Ayre at the AdaCore booth at Hall 4-149 on Day 2 of Embedded World.