- CodePeer, Development Tool-Software
- GNAT Pro Safety-Critical for ARM Processors, Development Tool-Software
- SPARK Pro, Development Tool-Software
Company Profile
AdaCore
Company Description
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.
Headquarters
46 rue d'Amsterdam
Paris 75009
France
Phone: +33 149 706 716
Fax: +33 149 700 552
http://www.adacore.com/home/
LinkedIn: http://www.linkedin.com/company/39996
North American Headquarters
104 Fifth Avenue, 15th floor
New York, NY 10011
United States
Phone: +1 212 620 7300
Fax: +1 212 807 0162
http://www.adacore.com/home/
Search Options
