Firstly, car automation is machine learning, not programming. Completely incomparable.

Finally, we've known how to prove the absence of bugs for decades. It's not a matter of not knowing how, it's about incentives to do it right.