Verification program