New York, NY 10001


About AdaCore


150 W 30th St
16th Fl
New York, NY 10001
United States

More Info on AdaCore

Content Dam Etc Medialib New Lib Mae Sponsors A H 73696
Founded in 1994, AdaCore supplies software development and verification tools backed by expert support, for mission-critical, safety-critical, and security-critical systems. The company’s flagship products are the GNAT Pro Ada development environment, the CodePeer advanced Ada static analysis tool, the SPARK Pro formal verification environment, and the QGen model-based development tool.


Shared User Prd71099b24e004f97aa25a14fa5b2b8a3
Design and development tools

GNAT Pro Assurance

GNAT Pro Assurance is a specialized edition of GNAT Pro for Ada or C, oriented towards projects requiring long-term support on a specific product version and/or safety certification...
Shared User Prc7dca6ad1585484c96729b485cfe30ec
Software code design, test, and verification


SPARK Pro is a CWE-Compatible integrated static analysis toolsuite for verifying high-integrity software through formal methods. It can be used in conjunction with testing when...
Shared User Prb3e61d9e22d246bf976a651164bcf5ca
Software code design, test, and verification


CodePeer is a CWE-Compatible advanced static analysis tool for Ada. It identifies vulnerabilities that could lead to run-time errors and flags legal but suspect code typical of...
Shared User Pra2da54e72b4a4df3957d039fde015e14
Software code design, test, and verification


QGen is a qualifiable and tunable code generation and model verification tool for a safe subset of Simulink® and Stateflow® models. It helps reduce development and verification...
Shared User Prdacc2ced893e49f7947f731e4779dafa
Design and development tools

GNAT Pro Enterprise

GNAT Pro Enterprise is a professional grade development environment, with versions supporting Ada, C and C++. It includes a customizable IDE, a visual debugger, Ada analysis tools...


Ada Cor 7 Dec 2020

QinetiQ picks AdaCore software design and development tools

The upgrade from the legacy SPARK programming language to the latest version was to sustain safety-critical software development capability.
Ada Core 22 Sept 2020

AdaCore wins platinum for QGen software development tools

QGen includes a qualifiable code generator for the MathWorks Simulink/Stateflow modeling language, which generates C or Ada source code.

Buyer’s Guide Listing Information

Click here for listing information and directions on how to add or update your company.

Request More Information From AdaCore

By clicking above, I acknowledge and agree to Endeavor Business Media’s Terms of Service and to Endeavor Business Media's use of my contact information to communicate with me about offerings by Endeavor, its brands, affiliates and/or third-party partners, consistent with Endeavor's Privacy Policy. In addition, I understand that my personal information will be shared with any sponsor(s) of the resource, so they can contact me directly about their products or services. Please refer to the privacy policies of such sponsor(s) for more details on how your information will be used by them. You may unsubscribe at any time.