Advances in Software Engineering

Research Article

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

Figure 8

Submodel 2 (s2) for weak satisfiability.
370198.fig.008