A Toolset for Supporting UML Static and Dynamic Model Checking.

Wuwei Shen, Kevin J. Compton, James Huggins

Browse the full COMPSAC paper archive.