104 Fifth Avenue,
United States of America
AdaCore is a privately held software services company. It focuses on providing programming language designed for large, long-lived applications where safety, security, and reliability are of critical importance. The company's products include ada and mixed-language Ada/C/C++ development: gnat pro ada, gnat pro C++, gnat pro C, and code peer; tools and packages for certification including cert kit, gnatstack, xcov, traceability study; safety-critical and security-critical development: spark pro, spark pro black belt edition, gnat pro high-integrity edition; and accompanying technologies. It is also involved in establishing GNAT Academic Program (GAP) that aims in bringing Ada to the forefront of university study. The company's offices are located at France, India, Italy, Australia, Sweden and Japan. AdaCore is headquartered in New York, the US.