Home

FiniteSatUSE is a tool for reasoning about correctness problems in UML class diagrams. The tool provides verification methods for detection of finite satisfiability problems, identification for their causes, reasoning about disjoint and incomplete constraints and removing redundancies in multiplicity constraints.

Read the README file for using FiniteSatUSE. For more examples please follow the link

Project Members:

• FiniteSatUSE Project (admin)