Papers

How to Increase Military Software Innovation and Longevity through Reuse

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