Earlier quoted context omitted.
Would you agree to spend 5 to 10 more time and budget to write a software in exchange for the no bugs guarantee? I have thinked a lot about this and my conclusion is that this requirement is foolish when you compare it to the cost/time drawback.
It’s conceivable to have a language or markup where you can specify on more detail what the code should do. This could then be checked automatically. Things are already going in that direction with things like non-nullable but I am pretty sure this could be taken much further.
Could you elaborate more on what you mean by "could be taken much further"?