AdaCore

150 W 30th St 16th Fl
New York, NY 10001
United States
212-620-7300
212-807-0162
Visit Company Website

More Info on AdaCore

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.

Products

Shared User Prd71099b24e004f97aa25a14fa5b2b8a3
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
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
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
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
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...

Articles

Ada Cor 7 Dec 2020
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
QGen includes a qualifiable code generator for the MathWorks Simulink/Stateflow modeling language, which generates C or Ada source code.

AdaCore Categories

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 agree to Endeavor Business Media's Terms of Service and consent to receive promotional communications from Endeavor, its affiliates, and partners per its Privacy Notice. I also understand my personal information will be shared with the sponsor of this content, who may contact me about their offerings per their privacy policy. I can unsubscribe anytime.