USMMC is a Self-contained Tool for Model Checking UML State Machine Diagrams.

This is a github repository for the tool "USMMC" which has been developed and presented at the FSE 2013 conference by Shuang Liu, Uang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, and Jin Song Dong in this paper.

This is not the original repository for the tool. Here are some links to the original project:

• The official [Project Page] (http://www.comp.nus.edu.sg/~lius87/UMLSM.html).
• The [binaries] (http://www.comp.nus.edu.sg/~lius87/uml/USM2C.zip) of the tool.
• The original video is [here] (http://www.comp.nus.edu.sg/~lius87/uml/demo/USMMC_demo.wmv).
• The [PAT (Process Analysis Toolkit)] (http://pat.comp.nus.edu.sg/) Framework, which this tool was implemented in.

In this repository for USMMC you will find:

• ❌ Source code (not available)
• ✅ Binaries
• ❌ Virtual machine containing tool (not available)

This repository was constructed by Craig Kimpel under the supervision of Dr. Emerson Murphy-Hill.