Did anyone do "design verification" of the Collins software ?

[workplace psychopath]

It would be cheaper to hack at the code and declare the job done.

But how would you meet the intent of the contract, without doing design verification ?