Requirements Validation through Specification Resolution