Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. Learn more »
AdaCore has developed several strategic alliances and partnerships that allow our customers to benefit from an increasing number of powerful tools and services as part of the GNAT Pro package:
AdaCore is committed to being an active member of the Ada and software development communities. Below are some of the associations and initiatives we’re involved with. Learn about the associations and initiatives we're involved with in Business, FLOSS, Standardization and Ada Organizations.
The AdaCore team includes some of the foremost authorities on the Ada language and GNAT technology, placing literally hundreds of years’ combined Ada programming experience at our customers’ fingertips. Access to this expertise is just one of the ways that the GNAT Pro package supports development teams in their effort to build robust and reliable software systems.
- Requiem for a Bug – Verifying Software, Part 2: Formal Verification through SPARK 2014
Electronic Design | Jan 12, 2015
- SPARK 2014 lowers the barriers to low-defect programming
Bloor Research | Nov 19, 2014