Actually, code is as error prone as the engineering process that creates it. You can have a process that takes risky, error prone engineers and creates very saf

Actually, code is as error prone as the engineering process that creates it. You can have a process that takes risky, error prone engineers and creates very safe output. Airlines do this all the time. A by-product of this might be an airline level of safety and after the accident investigation. There certainly would be the financial benefit for it. Once the autonomous car comes it will be safer than humans to start with and only become safer and safer with time. It might get to the point where we regularly travel at 90+ mph on the highway with barely a care in the world.