AdaCore

E284613
private company software company

AdaCore is a software company specializing in high-integrity, safety- and security-critical development tools and compilers for the Ada programming language.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (3)

Label Occurrences
AdaCore canonical 5
AdaCore GNAT Pro toolset 1
GNAT Pro 1

Statements (50)

Predicate Object
instanceOf private company ⓘ
software company ⓘ
develops gnat ⓘ
surface form: GNAT Ada compiler

SPARK language toolset ⓘ
code verification tools ⓘ
model-based development tools ⓘ
static analysis tools ⓘ
focusesOn certification support ⓘ
long-term support for critical systems ⓘ
safety standards compliance ⓘ
security standards compliance ⓘ
foundedBy Edmond Schonberg ⓘ
Robert Dewar ⓘ
other GNAT project members ⓘ
headquartersLocation Paris ⓘ
surface form: Paris, France
industry programming language compilers ⓘ
software development tools ⓘ
offers consulting services ⓘ
technical support ⓘ
training services ⓘ
officeLocation Boston, Massachusetts ⓘ
surface form: Boston, United States

Europe ⓘ
New York City ⓘ
surface form: New York City, United States
originatedFrom gnat ⓘ
surface form: GNAT project
product Static Code Checker ⓘ
surface form: CodePeer

GNAT Pro Assurance ⓘ
surface form: GNAT Pro

GNAT Pro Assurance ⓘ
GNAT Pro Enterprise ⓘ
GNAT Studio ⓘ
GNAT for C ⓘ
GNAT for Python ⓘ
GNATbench ⓘ
GNATcoverage ⓘ
GNATtest ⓘ
QGen ⓘ
SPARK Pro ⓘ
servesIndustry aerospace ⓘ
automotive ⓘ
defense ⓘ
industrial automation ⓘ
railway ⓘ
specializesIn Ada ⓘ
surface form: Ada programming language

high-integrity software development ⓘ
safety-critical software development ⓘ
security-critical software development ⓘ
supportsStandard Ada programming language standard ⓘ
surface form: Ada 2005

Ada (programming language) ⓘ
surface form: Ada 2012

Ada (programming language) ⓘ
surface form: Ada 2022

Ada programming language standard ⓘ
surface form: Ada 95
website https://www.adacore.com/ ⓘ

Referenced by (7)

Full triples — surface form annotated when it differs from this entity's canonical label.

gnat → developedBy → AdaCore ⓘ
subject surface form: GNAT
gnat → distribution → AdaCore ⓘ
subject surface form: GNAT
this entity surface form: GNAT Pro
gnat → maintainedBy → AdaCore ⓘ
subject surface form: GNAT
gnat → associatedWith → AdaCore ⓘ
subject surface form: GNAT
this entity surface form: AdaCore GNAT Pro toolset
GNU NYU Ada Translator → developer → AdaCore ⓘ
GNU NYU Ada Translator → maintainedBy → AdaCore ⓘ
GNATmake → maintainedBy → AdaCore ⓘ