There are a lot of programs that already govern our lives every day. From airplanes to medical devices that can output lethal doses of radiation. We already ha

There are a lot of programs that already govern our lives every day. From airplanes to medical devices that can output lethal doses of radiation. We already have established standards for writing and testing safety critical software, like DO-178B. If you want to go even further you use more advanced programming languages that allow you to prove the required properties via its type system. And just in case all of this fails or a case of PEBKAC, you buy insurance.