NVIDIA

Adoption of SPARK Ushers in a New Era in Security-Critical Software Development

As one of the world's most trusted names in high-performance computing, security is essential to NVIDIA’s brand. With cybersecurity risks rising across the board, the company took an ambitious path to examine its software development methodology and find a more measurable solution. Ultimately, it chose to abandon C/C++ and adopt SPARK as its coding language of choice for verifying its most security-critical software and firmware components.

Read the Case Study »



Last Updated: 11/4/2022
Posted on: 11/7/2022