Verification methodology