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 |
|
|