skip to main content
AdaCore
AdaCore
Products
Overview
GNAT Pro
Overview
Assurance
Enterprise
Comparison
Toolsuite
GNAT Dynamic Analysis Suite
GNATcoverage
GNATtest
GNATfuzz
GNAT Static Analysis Suite
CodePeer
GNATcheck
GNATmetric
SPARK Pro
Overview
Demos
Use Cases
QGen
Overview
Demos
Debugger
FAQ
Ferrocene
Pricing
Terms and Conditions
Languages
Services
Overview
Certification & Qualification
Mentorship
Training
Consulting
Industries
Overview
Domains
Avionics
ATM
Space
Rail
Automotive
Defense
Security
Medical
Projects
Standards
DO-178
ESARR
CAP670-SWO1
CWE
EN 50128
FACE
ISO 26262
IEC 61508
Company
Overview
About AdaCore
Press Releases
Events
Executive Team
Careers
Our Customers
Partners
Contact Us
Legal
Privacy Policy
Resources
Overview
Books
Papers
Articles
AdaCore Blog
Documentation
Videos
Dev Log
Ada Gems
Newsletter
Learn.adacore.com
Community
Overview
Academia
Overview
Projects
Universities
Register
Login
About Ada
About SPARK
Contact
Support
Login to GNAT Tracker
Forgot your password?
GT Login
Request Pricing
Resources
Overview
Books
Papers
Articles
Documentation
Videos
Dev Log
Ada Gems
Newsletter
AdaCore Blog
Papers
All
White Papers
Case Studies
Tech 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