Correctness checking in software already exists for mission critical applications and is seen in sectors like spacecraft or avionics and to a degree in core fin

Correctness checking in software already exists for mission critical applications and is seen in sectors like spacecraft or avionics and to a degree in core finance etc. Development in those fields are lot slower and very conservative and is by no means perfect, it is matter of culture and regulation and what you are ready to spend . Project management challenges should not be conflated with product quality. Take JWST, a notoriously hard project to manage costs or timelines, but their product quality was perfect, if we can launch a telescope like that accurately the first time we can build software well, if we can afford it. > Imagine if the people building your house had to build half of it and then start over. Maybe twice. No need to imagine, I have seen people do that all the time, if you have the money you can afford endless remodeling and some people actually do that. It all comes down to appetite to spend on good quality and culture to do so, in the era of low/no/AI code or off-shoring before that, there is constant downward pressure on costs, quality and security are the trade-offs.