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. Join us in this webinar where we provide a high-level overview of the new capabilities in the 26 release of our solutions before we do an engineer-led technical deep dive into the top features.
We will 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