The UML checks provided by MEGA Designer - Development and MEGA for UML correspond to the list defined by UML. These include checking for recursion in the inheritance hierarchy, verifying that the attributes of a class or classes owned by a package do not have the same names, etc.