Papers

NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development

Ada at ITEC: Real-Time Control over Complex Semiconductor Manufacturing Processes

IPESOFT: Delivering reliable, long-lived energy and industrial systems with Ada and AdaCore

Raising the Reliability of Scientific Space Exploration

How Masten Space Systems is Using Ada and SPARK to Land on the Moon’s South Pole

How Eldorado and Braile Biomédica Used AdaCore’s QGen Code Generator to Develop New Artificial Lung Equipment in Just Six Months

How to Develop Reliable Spacecraft Systems at Lower Cost with the Ada Programming Language

Ada and SPARK: Beyond Static Analysis for Medical Devices