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 »
Partners
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:
Software Community Involvement
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.
Ada Leadership
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.
-
Tuesday Apr 23, 2013
TOYOTA ITC Japan Selects SPARK Pro Language and Toolset for High-Reliability Research Project
-
Tuesday Apr 23, 2013
AdaCore Releases Major New Version of CodePeer Static Analysis Tool
- Nebenläufige Programmierung in Ada
heise Developer | May 17, 2013 - Real-Time Operating Systems
Avionics Today | May 13, 2013
-
Jun 10-14, 2013
– Berlin, Germany
Ada Europe 2013 -
Jun 25, 2013
– Sindelfingen, Germany
ARM-based Embedded System Design