What is a "standard" for software ? Should not a standard be a verification methodology, so that, for example,?

a standard for Collins submarine software would provide automatic verification of the chain of custody of the software ?