Image CAPTCHA
Enter the characters shown in the image.

You are here

AdaCore

.

AdaCore

List mode
Table mode
Icons mode

Displaying 1 - 0 of 0

AdaCore

Introduction

AdaCore provides open-source tools and expertise for developing mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic code reviewer / validator. 
GNAT Pro comes with a comprehensive toolset including a graphical IDE, a visual debugger, a code coverage analyzer and profiler, a coding standard checker, a documentation generator, and a unit test harness generator. It handles multiple languages, supporting all versions of the Ada standard (including the upcoming Ada 2012) as well as C and C++. 

Founded: 
1 994
Company Size: 
51-200 employees
Type: 
Privately Held

Contact Representatives

Socialize

Theme by Danetsoft and Danang Probo Sayekti