GNAT Pro is a complete development environment for producing critical software systems where reliability, efficiency and maintainability are essential.
Our GNAT Pro flagship product supports Ada, C and C++ and offers a suite of tools and libraries for developing large, mission-critical applications. Companies worldwide have come to depend on AdaCore’s products and expertise in developing, verifying and maintaining their software. Our technology is upgraded annually, with many of the enhancements based on customer suggestions.
GNAT Pro is one supplier, one toolset, one workflow for Ada, C and C++. GNAT Pro uses a common code generator to support all versions of Ada, from Ada 83 through Ada 2012, as well as C and C++. With its full spectrum of program development and verification tools, coupled with expert support, AdaCore can serve as a “one stop shop” for your programming needs.
AdaCore and GNAT Pro have a long and successful track record in the most demanding industries, including commercial and military avionics, space, rail, automotive, medical systems and finance.