Spec_Validation