ARM’s highest performing processor, extending the capabilities of mobile and enterprise computing. Read More...
AdaCore provides open source tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro Ada and SPARK Pro development environments, and the CodePeer automatic code reviewer and validator. Customers around the world, including major actors in the domains of commercial aircraft avionics, military systems, air traffic management/control, railroad systems, medical devices, and financial services, trust GNAT Pro and AdaCore.
AdaCore has North American headquarters in New York and European headquarters in Paris.
46 rue d'Amsterdam
Phone: +33 149 706 716
Fax: +33 149 700 552