A Tool for Efficient Verification of UML/OCL Class Diagrams Through Model Slicing
This repository contains information related to the tool UMLtoCSP(UOST) presented at Foundations of Software Engineering, 2012. The tool was originally presented in this paper.
This repository is not the original repository for this tool. Here are some links to the original project:
In this repository, for UMLtoCSP(UOST) you will find:
- โ Source code (not available)
- โ Binary (available)
This repository was constructed by Shrenuj Gandhi, Sarah Elder, Sumeet Agarwal, Vineela Boddula, and Alex Valkovsky under the supervision of Emerson Murphy-Hill. Thanks to Dr. Asadullah Shaikh and Dr. Uffe Kock Wiil for their help in establishing this repository.