New York, NY 10001 [email protected]
+1 212 620 7300
The 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 - NewsJune 23, 2020
Formal methods help JTEKT reduce development and verification costs for safe autonomous driving systems.
A 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 ReleaseAugust 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.
Contest shows ease of using Ada and SPARK to develop reliable, safe, and secure software.
AdaCore committed to long-term Ada, C, and C++ support on industry-leading RTOS.
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...