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.
Speak to an Expert
Offerings
Development Solutions
Comprehensive solutions for Ada/SPARK, C/C++, and Rust. IDEs, toolchains, multi-language building & debugging, and configurable runtimes.
Static Analysis for Ada
Deep static analysis, coding standards and security checks for all versions of Ada. Find errors and vulnerabilities before testing begins.
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.
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.
Formal Methods
Scalable, modular and incremental deductive program verification. Industrial-strength automated formal proof for the best, safest, and most secure code.
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.
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.
Latest News and Resources
Explore the AdaCore Blog
Explore ideas, projects, and people behind the technologies that advance the development of high-integrity software.