_On-demand content
Videos
Explore our collection of technical webinars, product demonstrations, and expert talks.
[Demos]
Sneak preview of the CodeSonar MCP server analyzing C code and automatic fixing of MISRA violations
[Talks]
Escaping the Haystack: CI/CD for Embedded Systems
[Webinars]
AdaCore 26: Accelerating the High-Integrity Software Development Lifecycle
[Demos]
Ada source level debugging with Lauterbach Trace32
[Demos]
How to Prove the Correctness of AI-Generated Code Using Formal Methods
[Demos]
A Day in the Life of a Software Engineer
[Webinars]
Optimize DevSecOps with Static Analysis
[Webinars]
Navigating Mars with Rust: Putting Rust to the Test
[Webinars]
Introduction to Formal Verification with SPARK
[Webinars]
What’s New in GNAT Pro: Key Features and Roadmap
[Demos]
How to run Ada and SPARK code on NVIDIA GPUs and CUDA
[Webinars]