Earlier quoted context omitted.
Fear monger. What if what if what if... I'm not saying it couldn't happen, I'm just saying that possible new issues are no reason to persist the old issues
No. It's a car, and has the power to kill people on software malfunction, making it a critical system. Critical systems are tend to go through a much greater and more robust form of testing.
There have long been techniques for writing software as formal proofs of correctness. As far as I can tell, they haven't been popular with mainstream programmers because they are simply too different.