What your talking about is called "safety critical systems".
Which is the type of software used in ships, planes, nuclear power plants, cars and anything that will cause a lost of life or equivalent of more than 1 million USD if that piece of software fails.
We actually have that standard in place.
But it comes down to can you afford in building that piece of software as usually the higher the safety rate you want.
You will usually go bankrupt by building that piece of safety critical software due to compliance & rigorous testing.
You can take a look at this if your interested in it.
This is a super niche industry that unless your planning to work for Tesla, Spacex or NASA.
It won't be applicable for the majority of industry.
Even my university professor who teach this standard, has industry partners coming in to listen in the lectures on that particular standard.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.