Choose the development that best describes your usage
AdaCore provides a wide range of commercially supported products for the development of high-integrity and mission-critical applications where safety, security, and reliability are critical. Our products are sold as a subscription package that includes professional grade technology and tools along with unmatched product support and expertise in the areas of Ada, Safety and Certification.
Our product solutions.
A wide range of tools and services for developing native and embedded mission-critical applications in Ada and mixed-language environments. Learn More »
Specialized tools, services, and certification materials for developing applications that must meet the leading safety-critical standards. Learn More »
Specialized tools and services for developing security-critical applications and MILS environments that must meet Evaluation Assurance Levels (EAL) 5-7. Learn More »
Tools and technologies for the software development life cycle.
AdaCore provides a full-featured, multi-language (Ada, SPARK, C, C++) development environment that comes with unmatched product support and expert Ada consulting. Learn More »
AdaCore provides a number of powerful tools that assist in the static verification of software properties such as code metrics, style checks or potential run-time errors. Learn More »
AdaCore provides solutions for code coverage, hardware virtualization technology, and unit test support. Learn More »
If you are interested in applying for a free 60 day evaluation of GNAT Pro, please contact us for more information.