AdaCore

URI: https://gptkb.org/entity/AdaCore

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:company
gptkbp:CEO	gptkb:Franco_Gasperoni
gptkbp:focusesOn	gptkb:SPARK_programming_language gptkb:Ada_programming_language
gptkbp:founded	1994
gptkbp:founder	gptkb:Edmond_Schonberg gptkb:Robert_Dewar
gptkbp:headquarters_location	gptkb:New_York_City gptkb:Paris
https://www.w3.org/2000/01/rdf-schema#label	AdaCore
gptkbp:industry	gptkb:software
gptkbp:legalForm	gptkb:public_company
gptkbp:notableClient	gptkb:Lockheed_Martin gptkb:NASA gptkb:Alstom gptkb:Eurocontrol gptkb:Boeing gptkb:Siemens gptkb:Thales gptkb:Airbus gptkb:General_Dynamics
gptkbp:notableProject	gptkb:Alire_package_manager gptkb:GNAT_Community_Edition
gptkbp:numberOfEmployees	~100
gptkbp:offers_support_for	safety-critical systems high-integrity software
gptkbp:operatesIn	gptkb:Australia gptkb:Canada gptkb:France gptkb:Germany gptkb:Italy gptkb:Japan gptkb:United_Kingdom gptkb:United_States
gptkbp:product	gptkb:CodePeer gptkb:GNAT_Pro gptkb:QGen gptkb:SPARK_Pro gptkb:GNAT
gptkbp:servesIndustry	aerospace automotive defense finance railways medical devices
gptkbp:supportsLanguage	gptkb:Ada gptkb:C++ gptkb:SPARK C
gptkbp:website	https://www.adacore.com/
gptkbp:bfsParent	gptkb:Ada
gptkbp:bfsLayer	5