AdaCore: Build Software that Matters
Request Pricing

Tools

  • Compilation Toolchain
  • GNAT Pro
  • GNAT Pro for Ada
  • GNAT Pro for C/C++
  • GNAT Pro for Rust
  • Formal Proof
  • SPARK Pro
  • Static Analysis
  • GNAT Static Analysis for Ada
  • CodeSonar for C/C++
  • Dynamic Analysis
  • GNAT Dynamic Analysis Suite

    • Services

  • Training & Services
  • Enterprise Training
  • Public Training
  • Mentorship

    • Get an Overview

    Explore All Offerings

    Ready To Go?

    Contact a Technical Expert

    Languages

  • Ada
  • C/C++
  • Rust
  • SPARK

    • Ready To Go?

    Contact a Technical Expert

    Industries

  • Avionics
  • Automotive
  • Defense
  • Medical
  • Rail
  • Security
  • Space
    • NVIDIA case study

    Learn how NVIDIA Adopted SPARK for Security-Critical Software Development

    View Case Study

    Company

  • About AdaCore
  • Careers
  • Partners

    • Careers

    View Opportunities

    Explore Resources

  • Publications
  • Papers
  • Books
  • Videos
  • AdaCore Digest
  • More Resources
  • Newsroom
  • Blog
  • Case Studies
  • Events
  • AdaCore's GitHub

    • The AdaCore Blog

    Explore

    Learn Ada & SPARK

    Explore

    Community

  • Academia
  • Download
    • Ada

    Get Started with Ada

    Learn More

    Support

  • GNAT Tracker Login
  • Cybersecurity Center
  • Release Notes
  • Documentation
  • Development Logs
    • Fpo main nav bg 02

    Product Roadmap

    Learn More

    AdaCore Hero Image

    Press Releases

    Robot plinth
    Feb 25, 2026

    AdaCore to Showcase Expanded Product Portfolio at Embedded World 2026

    Read More
    Adacore card default
    Oct 23, 2014

    AdaCore's CodePeer Static Analysis Tool Earns Qualification for Software Verification in Avionics, R

    Adacore card default
    Oct 23, 2014

    AdaCore Development Environment Selected for New Spanish Satellite Project

    Adacore card default
    Jul 24, 2014

    AdaCore Releases GNAT GPL for Bare Board ARM

    Adacore card default
    May 28, 2014

    SmartWard Pty Ltd Selects AdaCore Tools for Hospital Information System Development

    Adacore card default
    May 06, 2014

    Altran and AdaCore Release Next-Generation Static Verification Toolset

    Adacore card default
    Apr 01, 2014

    AdaCore Releases GNAT Pro 7.2 for Android

    Adacore card default
    Apr 01, 2014

    GNAT Pro Safety-Critical Development Environment Released for LynxOS-178

    Adacore card default
    Feb 25, 2014

    AdaCore Releases GNAT Pro 7.2

    Adacore card default
    Feb 25, 2014

    AdaCore Releases GNAT Pro 7.2 for ARM/Linux

    Adacore card default
    Feb 05, 2014

    AdaCore Releases New Version of GNATcoverage Dynamic Analysis Tool

    Adacore card default
    Feb 05, 2014

    AdaCore Releases Major New Version 2.3 of CodePeer Static Analysis Tool

    Adacore card default
    Jan 22, 2014

    Deep Blue Capital Selects AdaCore Products for Financial System Development