NVIDIA Security Team: ‘What if we just stopped using C?’ Posted on November 13, 2022 by ceadmin A great story about why many NVIDIA products are now running formally verified SPARK code. Story on Adacore