Proving Safety at Scale: Spark, RISC-V, and Nvidia's Security Strategy (blog.adacore.com)