FiniteSatUSE is a tool that provides correctness methods for UML class diagrams. It uses the USE System syntax for specification of the class diagrams.
- Detection method for finite satisfiability problems.
- Identification methods for finite satisfiability problem causes.
- Identification method for class hierarchy cycles for which the finite satisfiability method provides only partial results.
- A method for discovering hidden disjoint and incomplete generalization set constraints
Usefsverif works perfectly.