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)
- ✅ build-vm folder which contains Vargrant script to load the tool in a Windows Virtual Machine
- ❌ Virtual machine containing tool (not available)
This repository was constructed by Sumeet Agarwal, Vineela Boddula, Sarah Elder, Shrenuj Gandhi and Alex Valkovsky under the supervision of Dr. Emerson Murphy-Hill. Thanks to Dr. Asadullah Shaikh and Dr. Uffe Kock Wiil for their help in establishing this repository.