NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
In brief
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.