AdaCore is a software service provider.The company develops commercial software solutions for Ada. Its 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. AdaCore offers solutions including information systems, intelligent systems, mechanical engineering and lifecycle experience. The company provides a number of powerful tools that assist in the static verification of software properties such as code metrics, style checks or potential run-time errors. It also provides solutions for code coverage, hardware virtualization technology, and unit test support. The company has strategic alliances with Altran, Verocel and Wind River. It has offices in France, Australia, Japan and the US. AdaCore is headquartered in New York, the US.