▶

NVIDIA's adoption of Ada and SPARK for secure firmware

AdaCore · Talk · YouTube title: NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
Why it's here

HN cites it in Rust-versus-C++ and Ada discussions as a real industrial case of choosing SPARK for safer embedded code.

What it covers

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.