FYI a lot of "life possibly-threatening software" has to be certified. Doesn't prevent bugs of course. Don't certify people, certify products. Regarding cars

FYI a lot of "life possibly-threatening software" has to be certified. Doesn't prevent bugs of course. Don't certify people, certify products. Regarding cars there has been a lot of innovation going on, I think regulations are lagging.