• Subscribe
  • Magazine
  • Videos
  • White Papers
  • Webinars
  • Buyer's Guide
  • EDGE Awards
  • Innovators Awards

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

    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

    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

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

    Articles

    Ada Cor 7 Dec 2020
    Computers

    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
    Computers

    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.