Advances in Software Engineering

Research Article

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

Figure 7

Submodel 1 (s1) object diagram for strong satisfiability.
370198.fig.007