Generator-based verification