AdaCore 26: Accelerating the High-Integrity Software Development Lifecycle

An update on the latest new features and AdaCore’s technical direction

AdaCore is constantly evolving the tools available to build high-integrity software. This webinar provides a high-level overview of the new capabilities in the 26 release of our solutions, as well as an engineer-led technical deep dive into the top features.

We cover:
- AdaCore’s vision for memory safety, multi-language systems, testing and long-term support
- New capabilities added to the Ada language
- Extension of our coverage for Rust for Defense and Automotive
- Fuzzing to explore paths through your application to uncover security issues
- Shift-Left defect detection with static analysis though CodeSonar and GNAT SAS
- Absence of runtime errors and proof-of-correctness through SPARK
- User experience improvements with AI and IDE integrations