Generator-based Verification