The GNAT Pro Package

AdaCore provides the GNAT Pro package as a yearly subscription which includes access to the latest versions of the technology with upgrades and Frontline support.

Toolsuite

GNAT Pro is a robust and flexible Ada development environment. It comprises a rich suite of tools including the optimizing Ada 83, Ada 95, and Ada 2005 compiler based on GNU GCC technology, a set of components, and the GNAT Programming Studio IDE available standalone or as part of Eclipse. For details visit the GNAT Pro Toolsuite page »

Frontline Support

Outstanding support is intrinsic to GNAT Pro and is supplied directly by AdaCore experts and the product developers themselves. Questions on all aspects of Ada and GNAT Pro are answered promptly, comprehensively, and accurately: 80% of questions and reports, many of them on the use of Ada and the GNAT Pro technology, are solved in less than a day. For details visit the Frontline Support page »

The Choice For Safe and Secure Programming

Ada was designed from the start to support safety-critical and security-critical software development. Building safety-critical and security-critical applications requires special tools and expertise. For this AdaCore offers a family of High-Integrity solutions. Key to these packages is a set of specialized tools, expert Frontline support, and certification materials needed to meet leading safety and security standards. For details visit the GNAT Pro High Integrity Family page »

The GNAT Pro Pricing Model

The price of the yearly GNAT Pro subscription is based on the number of developers in the teams using GNAT Pro. AdaCore offers several predefined team sizes based on the maximum number of developers covered by the GNAT Pro subscription: up to 5, 15, 25, 35, 50, 100, and 200 developers overall. GNAT Pro is lock-free. All the developers covered by the AdaCore subscription have constant access to the full solution: the toolset and the experts.

To request a price quote or apply for an evaluation of GNAT Pro please visit the sales information page »

GNAT Pro Quality Assurance Procedures

AdaCore is dedicated to ensuring the highest possible quality in both the technology and related support services. To this end, many of the procedures of formal ISO 9001 certification are followed and surpassed. AdaCore has built a sophisticated QA infrastructure comprising over 13,000 real-life test cases (a total of over 18 million lines of Ada source code) and automated capabilities for execution and evaluation of the tests, supporting continuous integration, regression testing and analysis on multiple platforms.

A Customer Driven Product

GNAT Pro technical development is strongly influenced by customer input and feedback. Thanks to the GNAT Tracker system all issues raised are dealt with by the AdaCore technical team. The user community is also influential in the development of new features and the porting of the technology to new platforms. Most of AdaCore product development is a direct result of interaction with customers.

A Community Driven Product

AdaCore also regularly receives questions, suggestions, and feedback from the wider GNAT user community (Free Software developers and academics). The AdaCore technical team has answered over 32,000 queries raised by the overall user community.

The GNAT Pro Commitment

AdaCore is committed to providing the finest development tools and support services to our customers. Our GNAT Pro technology evolves constantly with new and powerful tools being added regularly. We strive (and succeed) in providing our customers technical consulting and product support that exceeds their expectations. So whether it’s building world class development tools or providing invaluable expertise, we understand that in the end it’s all about helping you to be successful with your projects. It’s the spirit in which we founded this company and it’s how we approach our business every day.

To find out more what GNAT Pro can do for your project please contact an AdaCore representative at sales@adacore.com.