boddulavineela / fse-2013-usmmc Goto Github PK
View Code? Open in Web Editor NEWThis project forked from softwareengineeringtooldemos/fse-2013-usmmc
A Self-Contained Model Checker for UML State Machines
Home Page: http://www.comp.nus.edu.sg/~lius87/UMLSM.html