Papers

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

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