Isn’t that what transparent formal verification is?
Is it? I have never seen a software system that is as easy or easier to verify than to build.
Is it? I have never seen a software system that is as easy or easier to verify than to build.