Draft:AdaCore

Submission declined on 2 August 2026 by Robert McClenon (talk). This draft's references do not show that the subject meets Wikipedia's criteria for inclusion for organizations and companies. The draft requires multiple published secondary sources that: provide significant coverage: discuss the subject in detail, excluding routine coverage like product launches, staff appointments, or financial reports and listings in databases or listicles; are reliable: from reputable outlets with editorial oversight; are independent: not connected to the subject, such as press releases, the subject's own website, or sponsored content. Please add references that meet all three of these criteria. If none exist, the subject is not yet suitable for Wikipedia. If you would like to continue working on the submission, click on the "Edit" tab at the top of the window. If you have not resolved the issues listed above, your draft will be declined again and potentially deleted. If you need extra help, please ask us a question at the AfC Help Desk or get live help from experienced editors. Please do not remove reviewer comments or this notice until the submission is accepted. Where to get help If you need help editing or submitting your draft, please ask us a question at the AfC Help Desk or get live help from experienced editors. These venues are only for help with editing and the submission process, not to get reviews. If you need feedback on your draft, or if the review is taking a lot of time, you can try asking for help on the talk page of a relevant WikiProject. Some WikiProjects are more active than others so a speedy reply is not guaranteed. How to improve a draft Wikipedia:Contributing to Wikipedia – a basic overview on how to edit Wikipedia. Help:Wikitext – how to use the markup Help:Referencing for beginners – how to include references Wikipedia:Article development – how to develop your article Wikipedia:Writing better articles – how to improve your article Wikipedia:Verifiability – make sure your article includes reliable third-party sources You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Add tags to your draft Editor resources Easy tools: Citation bot (help) | Advanced: Fix bare URLs Declined by Robert McClenon 9 days ago. Last edited by AnomieBOT 9 days ago. Reviewer: Inform author. Resubmit Please note that if the issues are not fixed, the draft will be declined again.

Submission declined on 17 July 2026 by Sulfurboy (talk). This draft reads like an advertisement. Wikipedia is an encyclopedia, not a platform for promotion or marketing. Drafts that are exclusively promotional may be deleted without notice. Wikipedia articles must be written neutrally in a formal, impersonal, and dispassionate way. They should not read like a blog post, advertisement, or fan page. Rewrite the draft to remove: promotional language: see Words to watch; personal commentary: opinions or direct addresses to the reader; informal language. Instead, only summarize in your own words a range of independent, reliable, published sources that discuss the subject. If you have a conflict of interest (e.g. you are the subject, an employee, or a relative) or are being paid to edit, you must disclose this to comply with Wikipedia's Terms of Use. Declined by Sulfurboy 25 days ago.

• Comment: This draft is written from the viewpoint of the company, focusing on what the company says about itself. Corporate notability is based on what independent reliable sources have written about the subject.
  Not every business corporation is notable, and this draft does not establish corporate notability. You may ask for advice about corporate notability at the Teahouse. Robert McClenon (talk) 06:04, 2 August 2026 (UTC)

• Comment: In accordance with the Wikimedia Foundation's Terms of Use, I disclose that I have been paid by my employer for my contributions to this article. Markhermeling (talk) 19:38, 15 June 2026 (UTC)

AdaCore

Type	Private
Founded	1994
Founders	Cyrille Comar Robert Dewar Franco Gasperoni Richard Kenner Edmond Schonberg
Headquarters	New York and Paris
Products	GNAT Pro SPARK Pro GNAT Pro for C/C++ GNAT Pro for Rust GNAT Dynamic Analysis Suite GNAT Static Analysis Suite CodeSonar
Owner	Battery Ventures
Number of employees	200 (2026)
Website	adacore.com

AdaCore is a privately held software company that develops programming tools for high-integrity systems in Ada, SPARK, C/C++, and Rust..^[1] Headquartered in New York City and Paris, the company was founded in 1994 and supplies development and verification tools used in the aerospace, defense, automotive, rail, and medical device industries.^[2]

AdaCore's origins lie in an academic project at New York University that began around 1980, when concerns about whether the newly designed Ada language was implementable led the US Air Force to a contract to New York University to build an executable definition of it. The resulting Ada/Ed system, an interpreter written in the high-level set-theoretic language SETL^[3], served as an operational definition of Ada 83.^[4]

When Ada underwent its first major revision (Ada 9X, which became Ada 95), the NYU team received a contract from the US Air Force to prototype the new language features and give feedback to the design team, then led by Tucker Taft.^[5] This was to be a compiler, not an interpreter. The GNAT project started in 1992; the contract required the GNU General Public License for all development, with copyright assigned to the Free Software Foundation.^[6] GNAT, the GNU NYU Ada Translator, was an Ada front-end for the GNU Compiler Collection (GCC) compiler suite. The front-end was developed atby the New York University team led by Robert Dewar and Edmond Schonberg, while a Florida State University team under Theodore Baker designed the original concurrency components of the runtime.^[7] Richard Kenner,was the main author of “Gigi”, the GNAT to GNU interface that sat between the Ada components of the front end and GCC^[8]

In August 1994, members of the NYU team created AdaCore Technologies, Inc. in New York, founded by Dewar, Schonberg, and Kenner, launching with a contract in hand from Silicon Graphics.^[7][9] A Paris-based sister company, ACT Europe, was founded soon after, and led by Cyrille Comar and Franco Gasperoni, to serve the European market.

Over the following decades, the product line expanded beyond the compiler. The two companies jointly launched the GNAT Programming System (GPS) IDE, later renamed GNAT Studio.^[10] In 2004, AdaCore created the GNAT Academic Program (GAP) to encourage Ada in university curricula.^[11][12] In January 2012, AdaCore merged with SofCheck, Inc., the Massachusetts company founded by Ada 95 lead designer Tucker Taft; the two had previously co-developed the CodePeer static analysis tool based on SofCheck Inspector, and Taft joined AdaCore as Director of Language Research. Robert Dewar served as CEO until 2012 and as President until his death from cancer on June 30, 2015.^[13][14]

On February 1, 2021, AdaCore acquired Componolit GmbH, a Dresden-based provider of formal verification tools for trusted systems, whose RecordFlux technology formally describes, tests, and implements binary communication protocols.^[15][16] The company also broadened its language focus: it extended Ada to the formally verifiable SPARK variant of Ada, C and C++, and partnered with Ferrous Systems to bring safety-certified Rust toolchains to market, joining the Rust Foundation in 2023.^[17][18]

In March 2024, Battery Ventures announced an investment in AdaCore.^[1][19] In June 2025, AdaCore and CodeSecure announced a merger agreement; CodeSecure was formed in 2023 when Battery Ventures acquired GrammaTech's software products division, including the CodeSonar and CodeSentry product lines.^[20][2] The combined company operates under the AdaCore brand with headquarters in Paris and New York, with Franco Gasperoni as CEO.^[2]

AdaCore’s tools are used in the development of software for commercial avionics, military systems, space, air traffic management, automotive systems, rail signaling, and medical devices.^[2] These systems often require for systems requiring safety or security certification against functional safety standards such as DO-178C, EN 50128, ISO 26262, IEC 61508 and others.^[1] Reported customers include the automotive supplier JTEKT, which selected SPARK Pro for safety-critical automotive software.^[21][22] In 2019, NVIDIA announced it was working with AdaCore to use Ada and SPARK in security-critical firmware for its system-on-a-chip products, including autonomous driving applications targeting ISO 26262 compliance.^[23][24]

AdaCore’s product compiler suites for C, C++, Rust, Ada, and SPARK are based on open source compilers, AdaCore is known as a strong contributor to the Free Software open source community, with contributions to GCC, GDB, Binutils, QEMU, Alire, and more.^[25][26]

• Official website