October 24, 2016 4:40 PM ET


Company Overview of Ada Core Technologies, Inc.

Company Overview

Ada Core Technologies, Inc. provides development and verification software solutions for Ada, a programming language for applications. It offers GNAT Pro, an Ada development environment; GNAT Pro Mixed Language, a solution that allows programmers to write code in Ada, C, and C++; GNAT Pro Safety-Critical, a solution to address the programming challenges and requirements; and GNAT Pro High-Security, a solution to meet high-security requirements of top evaluation assurance levels (EAL). The company also provides QGen, a tool for code generation and model verification; CodePeer, a solution for automated code review and validation; and SPARK Pro, a tool that prevents, detects, and eliminates def...

150 West 30th Street

16th floor

New York, NY 10011

United States

Founded in 1994





Key Executives for Ada Core Technologies, 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 2016.

Ada Core Technologies, Inc. Key Developments

AdaCore Releases Gnat Pro 7.4

AdaCore released the latest version of its GNAT Pro Ada Development Environment. GNAT Pro 7.4 incorporates new functionality, a number of performance improvements, additional platform support including several new embedded targets, and many other enhancements. GNAT Pro is part of the company’s annual major release cycle for its products, and First Quarter 2016 will also see new versions of the CodePeer deep static analysis tool for Ada, the SPARK Pro verification environment for high-integrity software, and the QGen model-based development and verification tool for Simulink® and Stateflow® models. GNAT Pro includes a full Ada compiler, Integrated Development Environments the GNAT Programming Studio (GPS) and the Eclipse-based GNATbench a comprehensive toolset including a visual debugger, and an extensive set of libraries and bindings. GNAT Pro 7.4 continues to build upon the strong foundation of gcc 4.9 while upgrading to the gdb 7.10 debugger technology. It supports Windows 10 as well as several new target platforms, in particular VxWorks 7 (ARM, e500v2, PPC, x86_64), VxWorks 653 3.0, and PikeOS (PowerPC). Among the more than 120 new features are the following enhancements: Generating C headers from Ada package specifications, which complements the existing facility (-fdump-ada-spec) for deriving Ada package specs from C header files; Detecting invalid memory access via libsanitizer on Linux; Enabling SSE floating point extensions by default on all x86 native ports; Better performance for the Ada Containers library, for example in the implementation of for.of loops and iterations; New pragmas to support low-level programming on bareboard targets; New pragmas to ease porting existing codebases from other Ada compiler environments.

AdaCore Releases Latest Version of its Model-Based Development and Verification Toolset, QGen

AdaCore released latest version of its model-based development and verification toolset, QGen. QGen provides qualifiable and customizable code generator from Simulink(r) and Stateflow(r) models to the safety-oriented programming languages SPARK (a formally analyzable Ada subset) and MISRA C. QGen 2.1 supports essentially all constructs used for modeling safety-critical control systems. In addition, QGen 2.1 offers a number of other enhancements including optimization of code for switch blocks, the ability to add external code for Lookup tables and Prelookup blocks, support for commented-out /commented-through blocks, and factoring of code for reference models and model libraries. QGen 2.1 is compatible with MATLAB versions 2008b through 2015b. As a prototype capability, initial support for model-level debugging is available as a supplement to QGen 2.1. Using the GNAT Programming Studio (GPS) IDE, developers can debug both ‘pure’ Simulink(r)/Stateflow(r) models and applications that combine manually prepared code with the auto-generated code. At the start of a debug session, side-by-side views of the model and the corresponding generated SPARK/Ada or MISRA C code are displayed. The developer can set breakpoints on individual blocks, which will automatically set breakpoints at the corresponding points in the generated code. Other capabilities include stepping execution one block at a time, viewing the values of signal variables, and stepping into or out of model subsystems. Host (native) debugging, and cross-debugging with any target supported by GDB, will be provided in a subsequent release.

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.

Similar Private Companies By Industry

Company Name Region
@RISK, Inc. United States
100Insights, Inc. United States
101 Education, LLC United States
10Pearls, LLC United States
10Six United States

Recent Private Companies Transactions

No transactions available in the past 12 months.

The information and data displayed in this profile are created and managed by S&P Global Market Intelligence, a division of S&P Global. Bloomberg.com does not create or control the content. For inquiries, please contact S&P Global Market Intelligence directly by clicking here.

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
Bertelsmann AG Europe
Bloomberg L.P. United States
NYC2012, Inc. United States
The Advertising Council, Inc. 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 Ada Core Technologies, Inc., please visit www.adacore.com. Company data is provided by S&P Global Market Intelligence. 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 bwwebmaster@businessweek.com.