This sounds good and all, but there is actually a thing called provable correctness or formal verification, where code really is provably correct.

See for example https://ts.data61.csiro.au/projects/seL4/