Added initial verification code.

Added initial verification code.
updated verify.pml

updated verify.pml