6 ms·
NVIDIA is starting to use Ada and SPARK for their autonomous vehicle products: https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/ https
by Fabien_C 8y ago
NVIDIA is starting to use Ada and SPARK for their autonomous vehicle products: https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/ https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...