Verification Problems