A Self-Contained Model Checker for UML State Machines
Home Page:http://www.comp.nus.edu.sg/~lius87/UMLSM.html
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool