• 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.

    KEY CONTACTS

    Karen Mason

    Sales Manager

    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.