GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
AdaCore
URI:
https://gptkb.org/entity/AdaCore
GPTKB entity
Statements (52)
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