Products
AdaCore provides tools and expertise for the development of mission-critical, safety-critical, and security-critical software.
Ada and mixed-language Ada/C/C++ development
Product Page »
Pricing Information »
Close Details
| C compiler, debugger, tools, libraries | GNAT Programming Studio IDE |
Safety-critical and security-critical development
GNAT Pro High-Integrity Edition
for DO-178B and safety-critical Ada development
Product Page
Quick Look
Product Page »
Pricing Information »
Close Details
GNAT Pro High-Integrity Edition for MILS
for MILS and security-critical Ada development
Product Page
Quick Look
Product Page »
Pricing Information »
Close Details
SPARK Pro Black-Belt Edition
high-assurance development for concurrent software by design
Product Page
Quick Look
Product Page »
Pricing Information »
Close Details
Safety-critical and security-critical development: specialized tools and libraries
| Fast target emulation on the host | Source and object code coverage toolset for embedded software |