AdaCore invites you to their event

AdaCore 26: Accelerating the Software Development Lifecycle for High-Integrity Systems

About this event

Time: 15:00 GMT | 16:00 CET | 12:00 ET | 09:00 PT

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

Hosted by

  • Team member
    T
    Mark Hermeling Head of Technical Marketing @ AdaCore

  • Team member
    T
    Jose Ruiz Product Manager @ AdaCore

  • Team member
    TA T
    Tony Aiello

AdaCore

Helping People Build Software that Matters

AdaCore provides commercial software solutions for Ada, SPARK, Rust, C and C++, helping developers build safe and secure software that matters.