Text this: Metric- Driven Design Verification