Part-Time Verification