Not consistent with the Example-Repo
bhanuanand28 opened this issue · comments
The repo is not consistent with the Example Repo.
Fixed by updating the README.md file
SoftwareEngineeringToolDemos / FSE-2013-USMMC
A Self-Contained Model Checker for UML State Machines