Designed for the Ada Professional

GNAT Pro is a robust and flexible Ada development environment. It includes professional grade tools, unmatched product support and expert Ada advice designed to allow development teams to take full advantage of the benefits Ada offers, and ensure a smooth, cost-effective development process.

Comprehensive Ada Toolsuite

GNAT Pro is a robust and flexible Ada development environment. It comprises a full Ada compiler, an Integrated Development Environment, a comprehensive toolsuite including a visual debugger, and a set of libraries and bindings. Learn More »

Mixed Language Development

GNAT Pro offers a range of mixed language solutions that allow programmers to write code in Ada, C, and C++ within a single development environment. It also provides a set of bindings that let programmers seamlessly interface between Ada and other languages. Learn More »


Offering an unprecedented level of portability, GNAT Pro supports the widest range of native platforms of any Ada development technology. Its IDE is available on all configurations (in either native or remote mode) and streamlines the switch between platforms and languages through its common user interface. Learn More »


GNAT Pro is ideal for developers seeking reliability, performance, and portability in real-time embedded environments. With the GNAT Programming Studio (GPS), switching from native to cross development is a single-click operation thus allowing for a more streamlined and efficient process. Learn More »

The GNAT Pro Difference: 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 »

Knowledge Center


  • The demo is presented by Fraser Chadburn, Senior Applications Engineer, IBM, and highlights:

    • How to integrate a UML2 modeling environment like Rhapsody with an Ada development environment like GNAT Pro into a seamless tool chain;
    • How to bring model-driven engineering with Rhapsody to the high-integrity domain where Ada is widely used;
    • How to support a lean and incremental model-driven development process using UML2 for design and Ada for implementation;
    • How to develop new Ada components using round-trip engineering and model-level debugging in Rhapsody;
    • How to decrease the evolution, reuse and maintainance costs of certified and proven-in-use Ada components thanks to Rhapsody reverse engineering capabilities;
    • How to generate code for Ada 83, Ada 95, Ada 2005 and soon Ada 2012 from the same UML model;
    • How to use Ada object-oriented features using the standard UML notation;
    • How to benefit from Ada expressive power for modeling range, floating and fixed points types in Rhapsody
  • SPARK Pro 11 demos

    December 10, 2012

    Robin Messer highlights the new features released in SPARK Pro 11 including:

    • Enhanced Support for Generic Subprograms
    • SPARKbridge
    • Counter Example Generator: Riposte
    • Improvements to the use of Functions in Proof Contexts
    • New Proof Statement: Assume

Developer Gems    

  • Gem #148 : Su(per)btypes in Ada 2012 - Part 3

    In the previous two Gems of this series, we saw how the aspects Static_Predicate and Dynamic_Predicate can be used to state properties of objects that should be respected at all times. This Gem is concerned with the Type_Invariant aspect.

  • Gem #147 : Su(per)btypes in Ada 2012 - Part 2

    In the previous Gem in this series, we saw how the aspect Static_Predicate can be used to state properties of scalar objects that should be respected at all times. This Gem is concerned with the Dynamic_Predicate aspect.

Live Docs

Technical Papers

Code Samples

Development Log

Press Releases

In the Press