NVidia has decided to embrace Ada/SPARK after a study with Ada, Frama-C and Rust, and there is a Webinar with their decision rational.

They also had similar reasons, however lack of ISO standard and certified compilers also played a role.