AdaCore is a privately held software services company. It develops commercial software solutions for Ada. Ada is a programming language designed for large and long-lived applications. The flagship product of AdaCore is the GNAT Pro, a robust and flexible Ada development environment. Its products include GNAT Pro Ada, GNAT Pro C, GNAT Pro C++, codepeer, GNA Pro high-integrity edition, SPARK Pro, GNAT coverage and ASIS. The company provides tools as well as expertise for the development of mission-critical, security-critical and safety-critical software. AdaCore is partnered with Altran Praxis, CodeSourcery, Hewlett Packard, SoftCheck, Verocel and Wind River. It is also into establishing GNAT Academic Program (GAP) that aims in bringing Ada to the forefront of university study. The company has offices in France, India, Italy, Australia, Sweden and Japan. AdaCore is headquartered in New York, the US.