UMLtoCSP is a tool for the formal verification of UML/OCL models using Constraint Programming. It can check automatically several correctness properties about the model, such as the satisfiability of the model or the lack of contradictory constraints.
Tool URL: http://gres.uoc.edu/UMLtoCSP/