Re:Boeing Flies on 99% Ada (2010)
by amai on Thursday March 14, 2019 @12:07PM
(#19390536)
Is Ada also used for self-driving cars? If not, why not, given the security implications?
[ Parent
| on HN ]
NVIDIA is starting to use Ada and SPARK for their autonomous vehicle products: https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...