Most software doesn’t kill people or cause any other type of financial/physical damage if it falls over. So regulating all software is a bad idea. However I 100

Most software doesn’t kill people or cause any other type of financial/physical damage if it falls over. So regulating all software is a bad idea. However I 100% believe that all software that is critical to saving lives/avoiding damage should be formally proven correct using proof assistants. The people who are qualified to do this deserve to be licensed Software Engineers. People who can’t do this should not be called Software Engineers and should not be legally allowed to work on safety critical software.