A Framework for Requirements Validation and Verification