https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/ https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto... And there's a whole

https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/ https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto... And there's a whole new Paris metro line that runs on Ada: https://www.adahome.com/Ammo/Success/subway.html https://www.adahome.com/Ammo/Success/subway.html