The new Validity View provides a fine-grained visualization of the validity of each constraint/model-element pair and a launch pad for the new OCL debugger.
The OCL embedded in UML profiles may be used to validate UML models, and the OCL in UML models may be used to validate UML instances.