Ada Core Technologies

GPTKB entity

Predicate	Object
gptkbp:instance_of	gptkb:Company
gptkbp:employees	50-100
gptkbp:founded	gptkb:1994
gptkbp:founder	gptkb:Robert_Dewar
gptkbp:headquarters	gptkb:New_York_City
https://www.w3.org/2000/01/rdf-schema#label	Ada Core Technologies
gptkbp:industry	gptkb:Software_Development
gptkbp:location	gptkb:United_States
gptkbp:offers	gptkb:SPARK gptkb:Code_Peer gptkb:GNAT GNATprove
gptkbp:partnership	gptkb:transport_aircraft gptkb:Thales_Alenia_Space gptkb:Singapore_Airshow gptkb:US_Department_of_Defense gptkb:Rockwell_Collins gptkb:SAIC gptkb:Farnborough_International_Airshow gptkb:Dubai_Airshow gptkb:European_Space_Agency gptkb:European_Union gptkb:IBM gptkb:Lockheed_Martin gptkb:Microsoft gptkb:Northrop_Grumman gptkb:Oracle gptkb:Hewlett_Packard_Enterprise gptkb:General_Dynamics gptkb:NATO gptkb:Raytheon gptkb:Airbus_Defence_and_Space gptkb:L3_Technologies gptkb:Airbus gptkb:Boeing gptkb:Honeywell gptkb:Intel gptkb:Siemens gptkb:Thales_Group gptkb:Alstom gptkb:European_Defence_Agency gptkb:NASA gptkb:Paris_Air_Show
gptkbp:serves	gptkb:military_defense Aerospace Industry Automotive Industry
gptkbp:specializes_in	gptkb:Ada_Programming_Language
gptkbp:website	https://www.adacore.com
gptkbp:bfsParent	gptkb:Ada_202x
gptkbp:bfsLayer	6