Bloomberg Anywhere Remote Login Bloomberg Terminal Demo Request


Connecting decision makers to a dynamic network of information, people and ideas, Bloomberg quickly and accurately delivers business and financial information, news and insight around the world.


Financial Products

Enterprise Products


Customer Support

  • Americas

    +1 212 318 2000

  • Europe, Middle East, & Africa

    +44 20 7330 7500

  • Asia Pacific

    +65 6212 1000


Industry Products

Media Services

Follow Us

Bloomberg Customers

February 13, 2016 2:21 AM ET


Company Overview of AdaCore, Inc.

Company Overview

AdaCore, Inc. provides commercial software solutions for Ada, a programming language for applications. The company offers a range of tools and services for developing native and embedded mission-critical applications in Ada and mixed-language environments; tools that assist in the static verification of software properties; and solutions for code coverage, hardware virtualization technology, and unit test support. Its products include GNAT Pro, a Ada development environment; GNAT Pro Mixed Language that offers a range of multi-language solutions that allow programmers to write code in Ada, C, and C++ development environment; CodePeer that assesses a program for potential bugs before it is ex...

104 Fifth Avenue

15th floor

New York, NY 10011

United States

Founded in 1994





Key Executives for AdaCore, Inc.

Co-Founder and Vice President
Co-Founder and Vice President
Co-Founder and Managing Director
Co-Founder and Managing Director
Member of Core Technical Team
Compensation as of Fiscal Year 2015.

AdaCore, Inc. Key Developments

AdaCore Releases SPARK Pro 16

AdaCore announced the release of its SPARK Pro integrated development and verification environment, bringing a sound and mathematics-based static analysis technology to the challenges of software verification for high-assurance systems. SPARK Pro 16 provides enhanced coverage of SPARK 2014 language features and now supports the Ravenscar tasking profile, thus extending the benefits of formal verification methods to a safe subset of Ada 2012 concurrent programming features. As another improvement SPARK Pro 16 can generate counterexamples to verification conditions that cannot be proved, thus making it easier for developers to find defects in the functional code or in the supplied contracts. SPARK Pro 16 also improves the handling of bitwise (modular) operations, and the product’s proof engine now includes the Z3 SMT solver. The SPARK Pro technology, which has been jointly developed by AdaCore and its partner Altran, can prove SPARK program properties ranging from absence of run-time errors (exceptions) to compliance with a formally defined requirements specification. SPARK Pro thereby helps reduce the cost of software verification and simplifies the task of certifying the software against safety or security standards.

Atlantic Inertial Systems Limited Selects CodePeer Static Analysis Tool of AdaCore

AdaCore announced that its CodePeer static analysis tool has been adopted by Atlantic Inertial Systems Limited, for usage on its TERPROM® digital terrain system for military transport aircraft. CodePeer automates the review and validation of Ada source code and helps detect potential errors early in development. As a qualified tool that automates several verification activities, CodePeer will facilitate UTC Aerospace Systems’ DO-178B certification of the TERPROM terrain referenced navigation software–the software that allows the TERPROM system to provide precise, reliable and predictive ground proximity warnings. The CodePeer tool is sound; that is, it does not report false negatives. If CodePeer’s analysis of a program module reports no errors of a given type, then no errors are present. The static analysis tool reduces the need for manual code review, provides deep insight into potential issues, and automates parts of the DO-178B verification process for the certification of software in airborne systems.

Direction Générale de l’Armement Selects Adacore’S GNAT Pro with SQUORE Technology

AdaCore announced that the Direction Générale de l’Armement (DGA) has selected AdaCore and SQUORING Technologies to provide a graphical tool, AdaSquore, for military and civil avionics software audits. Featuring a smart dashboard that monitors the quality metrics of critical components, AdaSquore will facilitate the analysis of existing and new code in Ada and SPARK, and will support the processes defined in the DO-178C standard’s supplements on formal methods (DO-333) and object-oriented technology (DO-332). DGA’s software suppliers will be able to use AdaSquore to monitor the quality of their Ada and SPARK software across their various projects. The tool will produce high-level indicators that measure the code’s technical debt, safety, maintainability, and portability, and will also provide a prioritized list of action items to help correct highlighted issues. AdaSquore will be particularly well suited to safety-critical projects, which usually run a variety of code analysis tools ranging from coding standard checking and complexity metrics generation to structural code coverage analysis. Managing and interpreting the large amount of data generated by those tools can be challenging. The SQUORE technology addresses this issue by aggregating the data into higher level indicators through customizable quality model templates; these reflect criteria such as maintainability, portability, freedom from vulnerabilities, and technical debt.

Similar Private Companies By Industry

Company Name Region
AppIntelligence, Inc. United States
Red Seraphim Corporation United States
Valve Corporation United States
3cim, Inc. United States
Mikronite Technologies Group Inc. United States

Recent Private Companies Transactions

No transactions available in the past 12 months.

Stock Quotes

Market data is delayed at least 15 minutes.

Company Lookup

Most Searched Private Companies

Company Name Geographic Region
Lawyers Committee for Civil Rights Under Law United States
NYC2012, Inc. United States
Bertelsmann AG Europe
Rush University United States
Citizens Budget Commission United States

Sponsored Financial Commentaries

Sponsored Links

Request Profile Update

Only a company representative may request an update for the company profile. Documentation will be required.

To contact AdaCore, Inc., please visit Company data is provided by Capital IQ. Please use this form to report any data issues.

Please enter your information in the following field(s):
Update Needed*

All data changes require verification from public sources. Please include the correct value or values and a source where we can verify.

Your requested update has been submitted

Our data partners will research the update request and update the information on this page if necessary. Research and follow-up could take several weeks. If you have questions, you can contact them at