May 24, 2018 2:47 AM 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 2017.

Ada Core Technologies, Inc. Key Developments

Scandinavian Real Heart Selects AdaCore Embedded Software Development Platform for Revolutionary Artificial Heart

AdaCore announced that Scandinavian Real Heart AB in Sweden is using a suite of AdaCore software solutions to develop reliable embedded software for its revolutionary Total Artificial Heart. The aim of Scandinavian Real Heart’s Total Artificial Heart is to function as much as possible like the natural heart and to serve as a temporary solution for patients waiting to get a heart transplant.

AdaCore Unveils Version 18.1 of its GNAT Pro, CodePeer, SPARK Pro, and QGen Products

AdaCore is unveiling Version 18.1 of its GNAT Pro, CodePeer, SPARK Pro, and QGen products. This latest version enhances the already robust, software suite with new tools and capabilities and marks the first release of GNAT Pro in its three product lines: GNAT Pro Assurance, GNAT Pro Enterprise and GNAT Pro Developer. AdaCore’s GNAT Pro, CodePeer, SPARK Pro and QGen are software development and verification tools of choice for safety-critical, high-security, and mission-critical applications across a growing number of markets, including aerospace and defense, automotive, energy, medical, railway, and the Internet of Things (IoT). The GNAT Pro Ada development environment provides new tools, improved code efficiency, several new targets and a variety of compiler enhancements with Version 18.1. All GNAT Pro subscriptions now include the SPARK Discovery verification technology, and GNAT Pro Assurance and GNAT Pro Enterprise also supply AdaCore’s GNATstack stack analysis tool. The GNAT Pro toolsuitefeatures GPRbuild project tool upgrades, new rules in the GNATcheck coding standard checker, GNATcoverage support for Lauterbach probes, and new options in the GNATtest unit testing framework. The GNAT Programming Studio (GPS) Integrated Development Environment (IDE) boasts performance and user interface improvements, including C/C++ navigation engine enhancements, while GNATbench adds support for Eclipse 4.8 Oxygen and Wind River Workbench 4.12. CodePeer, the advanced CWE-compatible static analysis tool for Ada, brings improved performance, easier analysis of non-GNAT code, fewer “false positives”, and integration of GNAT warnings into the tool output. An updated tool qualification kit for DO-178C is also available for CodePeer 18.1, with coverage of additional Ada constructs including exceptions, access types, and generic units. The SPARK Pro formal verification environment, co-developed by AdaCore and its partner Altran, has added contracts to units in the predefined environment and has enhanced the automation of proofs. SPARK Pro 18.1 also allows users to perform interactive proofs in GPS. QGen, AdaCore’s qualifiable model-based development tool kit which generates SPARK and MISRA C, has been enhanced with a compatibility checker to verify compliance of sample models with the supported safe subset of Simulink®/Stateflow® models. QGen 18.1 also implements several new blocks and supports Simulink®/Stateflow® versions up to 2017b.

Ada Core Technologies, Inc. Presents at Embedded Systems Conference & Expo 2017, Dec-06-2017 11:00 AM

Ada Core Technologies, Inc. Presents at Embedded Systems Conference & Expo 2017, Dec-06-2017 11:00 AM. Venue: San Jose Convention Center, San Jose, California, United States. Speakers: Rob Tice.

Similar Private Companies By Industry

Company Name Region
Solutions by Text, LLC United States
'LightArrow Inc. United States
/blossom LLC United States
@RISK Technologies, Inc. United States
@RISK, Inc. 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. 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
The Advertising Council, Inc. United States
Tax Management Inc United States
John F. Kennedy Center For The Performing Arts United States
NYC2012, 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 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