NVIDIA publishes SPARK Process to meet ISO-26262 requirements

[kevlar700]

@mgrojo

Very good news. Til now, the fact that NVIDIA was using SPARK lacked a direct, undoubted reference from NVIDIA itself.

No it didn’t. They did a presentation outlining their use a couple of years ago. It even said how SPARK was safer than Rust.

DEF CON 30 - Adam Zabrocki, Alex Tereshkin - Exploitation in the era of Formal Verification