GitHub repository: nplimaye/FSE-2012-UMLtoCSP-UOST
Primary language: Prolog
Description: A Tool for Efficient Verification of UML/OCL Class Diagrams Through Model Slicing