Ada/SPARK | C/C++ | Rust
Tools for High-Integrity Development in Ada/SPARK, C/C++, and Rust
Trusted Support for Analysis Tools and Toolchains Spanning Legacy to Cutting Edge Hardware & Real-Time Operating Systems.
3,000 High-Integrity Customer Applications
30 Years of Experience
150 Supported Native and Embedded Platforms
Offerings
Development Solutions
Comprehensive solutions for Ada/SPARK, C/C++, and Rust. IDEs, toolchains, multi-language building & debugging, and configurable runtimes.
GNAT Pro
Static Analysis for Ada
Deep static analysis, coding standards and security checks for all versions of Ada. Find errors and vulnerabilities before testing begins.
GNAT SAS
Static Analysis for C/C++
Deep static analysis, coding standards and security checks for C/C++, including MISRA C/C++. Find errors before testing begins.
CodeSonar®
Dynamic Analysis for Ada, C/C++
Comprehensive testing for high-integrity Ada, C and C++ software. Automated unit testing, multi-language coverage, qualification, and powerful fuzzing.
GNAT DAS
Formal Methods
Scalable, modular and incremental deductive program verification. Industrial-strength automated formal proof for the best, safest, and most secure code.
SPARK Pro
Team Enablement
Training, mentorship and consulting designed specifically to make teams successful on their own with our technology quickly and efficiently. Our services complement our tools and products, providing expertise and guidance tailored to maximize your success.
Industries
Certification Standards We Support
DO-178
AdaCore products are certified for use with ED12-B/C / DO-178B/C industry standards up to DAL-A and include a variety of tools and services that streamline workflows and help reduce certification costs.
ISO 26262
AdaCore toolchains and verification tools have been certified under the ISO 26262 and functional safety standard and can be used up to ASIL-D.
EN 50128
AdaCore's solution is a software development toolset which is certifiable against CENELEC EN 50128 and EN 50657 up to SIL-4.
ECSS-E-ST-40C
AdaCore has extensive experience helping aerospace customers, and provides technology qualified against he European Space standards ECSS-E-ST-40C and ECSS-Q-ST-80C.
IEC 61508
AdaCore's technology, including its compiler and verification tools, has received T2 and T3 qualification under IEC 61508 and can be used in certified contexts up to SIL-4.
Get Started_
Build Software You Can Trust
From Ada and SPARK to C, C++, and Rust, our tools help you develop safe, secure, and reliable systems with confidence.
Explore More_
Latest News and Resources
Explore the AdaCore Blog
Explore ideas, projects, and people behind the technologies that advance the development of high-integrity software.
Trusted Across Safety and Security-Critical Industries
Organizations worldwide trust our solutions to meet the highest standards of safety, reliability, and performance.