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

<table>UML/OCL class diagram used as nondisjoint solution (Company model).</table>

Advances in Software Engineering

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