An Application of the Universal Verification Methodology