We already have a world class way to make software reliable without a mountain of bureaucracy: formal methods. As in using proof assistants to prove code correc

We already have a world class way to make software reliable without a mountain of bureaucracy: formal methods. As in using proof assistants to prove code correct. It is still too labour intensive for most applications but it is getting better every year. Making it illegal to not prove software correct when writing life critical software would accelerate adaption tremendously.