Videos

Tech Days 2021

HIS 2021: Fuzzing for Airworthiness Security

TIM Welcome Address by Dr. Franco Gasperoni, CEO, AdaCore

A MISRA-C Developer’s Introduction to Program Proving in SPARK — Embedded World 2019