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.
- Wednesday May 24, 2017
- Tuesday May 23, 2017
- Bringing the aerospace safety Mindset to the Automotive Mode
Heise Developer | Aug 8, 2017
- Rust and SPARK: Software Reliability for Everyone - page 34 (print issue)
Electronic Design | Jul 31, 2017