Research Article

Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

Table 3

Comparison of UML stereotypes by each tool.

Stereotype HOL-OCL MOVA UMLtoCSP Alloy UML2Alloy USE

Auxiliary No No No Yes No No
Enumeration Yes Yes No Yes Yes Yes
Type No No No No No No