This document introduces the fundamental principles behind GNATcoverage, a non-intrusive structural coverage analysis framework, and offers a toolset user's guide.

This page gives access to the main SPARK documentation. SPARK Pro provides the foremost language, toolset and design discipline for the engineering of high-assurance software.

This Manual contains reference material for developers using ASIS-for-GNAT -- GNAT Pro's implementation of the Ada Semantic Interface Specification (ASIS). It provides information about ASIS-for-GNAT's implementation-specific(1) characteristics and current implementation limitations.

This guide has two aims. The first one is to introduce you to the Ada Semantic Interface Specification (ASIS) and show you how you can build various useful tools on top of ASIS. The second is to describe the ASIS implementation for the GNAT Pro Ada compiler.

This guide describes the use of GNAT, a compiler and software development toolset for the full Ada programming language.

It describes the features of the compiler and tools, and details how to use them to build Ada 95 applications.

This manual contains useful information in writing programs using the GNAT compiler. It includes information on implementation dependent characteristics of GNAT, including all the information required by Annex M of the standard.

This guide describes the GNAT Pro High-Integrity Edition, an Ada tool suite designed especially for applications that need to be certified for compliance with safety standards such as DO-178B.

This guide describes the use of GNAT Pro, a compiler and software development toolset for the full Ada programming language, in a cross compilation environment.

This is the main documentation for GPRbuild, a generic build tool designed for the construction of large multi-language systems organized into subsystems and libraries.

The gnatcheck tool in GNAT Pro can be used to enforce coding conventions by analyzing Ada source programs with respect to a set of rules supplied at tool invocation. This manual describes the complete set of predefined rules that gnatcheck can take as input.

This guide contains a general description of gnatstack, a framework for computing and analyzing stack usage for the different subprograms in the application and extracting worst case values prior to execution time.

This is the main documentation for GNATcoll, a library providing a number of modules that can be reused in your own applications to add extra features or help implementation.

This document provides a guide through the major capabilities of CodePeer inside the GNAT Programming Studio (GPS) by working on a code example: sdc, a simple desktop calculator.

This is the main documentation for CodePeer, a static error detection tool that automatically identifies possible programming errors and verifies logical correctness, without relying on labor-intensive run time testing.

This guide describes the features and the use of GNAT-AJIS, the GNAT Ada-Java Interfacing Suite that can be used with the GNAT Pro Ada development environment.

This document provides a guide through the major capabilities of the GNAT Programming Studio by working on a code example: sdc, a simple desktop calculator.

This guide describes the features and the use of GNAT, the Ada development environment for the .NET platform. This guide also explains how to use the .NET API from Ada and how to interface Ada and the .NET framework.

This guide describes the features and the use of GNAT for the JVM, the Ada development environment for the Java platform. This guide also explains how to use the Java API from Ada and how to interface Ada and the Java programming language.

This is the main documentation for the AWS Templates Parser.

This is the main documentation for AWS, the Ada Web Server library.

This is the main documentation for XML/Ada.

This document provides reference information for all GtkAda entities.

This is a developer's guide to GtkAda.

This is the main documentation for PolyORB.

This is the User's Manual for GPS, the GNAT Programming Studio. GPS is a complete integrated development environment that gives access to a wide range of tools and integrates them smoothly.