NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)

Archive guide

An AdaCore webinar in which NVIDIA engineers explain why and how they adopted Ada and SPARK for security-critical firmware. It covers the business case and the engineering experience of the transition.