NVIDIA
Adoption of SPARK Ushers in a New Era in Security-Critical Software Development
![](/uploads/customers/_500xAUTO_crop_center-center_none/5-222559-adacore-nvidia-image-500x313px.jpg)
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.