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

https://blog.adacore.com/proving-safety-at-scale-spark-risc-v-and-nvidias-security-strategy