Ada Development »
A wide range of tools and services for developing native and embedded mission-critical applications in Ada and mixed-language environments. Learn More »
Tools and expertise for mission-critical, safety-critical and security-critical software development.
Safety-Critical Ada »
Specialized tools, services, and certification materials for developing applications that must meet the leading safety-critical standards. Learn More »
Safety Standards
High-Security Ada »
Specialized tools and services for developing security-critical applications for stand-alone or MILS environments that must meet Evaluation Assurance Levels (EAL) 5-7. Learn More »
Pricing and Product Evaluations
For inquiries on pricing and product evaluations visit our pricing page.
Get a QuoteTools and technologies for the software development life cycle
Code Development
AdaCore provides a full-featured, multi-language (Ada, SPARK, C, C++) development environment that comes with unmatched product support and expert Ada consulting. Learn More »Static Analysis
AdaCore provides a number of powerful tools that assist in the static verification of software properties such as code metrics, style checks or potential run-time errors. Learn More »Testing
AdaCore provides solutions for code coverage, hardware virtualization technology, and unit test support. Learn More »