3 ms·If X is formally verifiable and conducive to writing testable, contractual code then yes.by mhh__ 6y agoIf X is formally verifiable and conducive to writing testable, contractual code then yes.