• AdaCore

    New York, NY 10001

    COMPANY OVERVIEW

    About AdaCore

    Contact

    150 W 30th St
    16th Fl
     New York, NY 10001
    United States
    http://www.adacore.com
    212-620-7300
    212-807-0162

    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.

    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.