Get the latest tech news
Nvidia Security Team: “What if we just stopped using C?” (2022)
by Fabien Chouteau â Jan 30, 2023. Today I want to share a great story about why many NVIDIA products are now running formally verified SPARK code. This blog post is in part a teaser for the case study that NVIDIA and AdaCore published today. Our journey begins with the NVIDIA Security Team. Likeâ¦
Today I want to share a great story about why many NVIDIA products are now running formally verified SPARK code. Like many other security-oriented teams in our industry today, they were looking for a measurable answer to the increasingly hostile cybersecurity environment and started questioning their software development and verification strategies. Rohrer continues, âWe wanted to emphasize provability over testing as a preferred verification method.â Fortunately, it is possible to prove mathematically that your code behaves in precise accordance with its specification.
Or read this on Hacker News