Nvidia recently chose Spark/Ada for some of their safety critical software. https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/ https:/

Nvidia recently chose Spark/Ada for some of their safety critical software. https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/ https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...