Videos
[Webinars]
Navigating Mars with Rust: Putting Rust to the Test
[Webinars]
Optimize DevSecOps with Static Analysis
[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]
Proving Software Security with SPARK Pro
[Webinars]
High Integrity Technology Update | April 2024
[Webinars]
Memory Safety with Formal Proof
[Webinars]
SPARK Pro for Embedded and Systems Programming
[Webinars]
Developing FACE™ conformant software in Ada
[Talks]
HIS 2021: Fuzzing for Airworthiness Security
[Webinars]