Tools and expertise for mission-critical, safety-critical and security-critical software development.

Tools and technologies for the software development life cycle

Code Development

AdaCore provides a full-featured, multi-language (Ada, SPARK, C, C++) development environment that comes with unmatched product support and expert Ada consulting. Learn More »

Static Analysis

AdaCore provides a number of powerful tools that assist in the static verification of software properties such as code metrics, style checks or potential run-time errors. Learn More »


AdaCore provides solutions for code coverage, hardware virtualization technology, and unit test support. Learn More »


Integral to all our products: Frontline Support


The world’s largest team of Ada experts at your fingertips. Learn More »

GNAT Tracker

Our powerful, secure, customer web server, brings you timely online support. Learn More »