UML State Machines

Citation: Kevin Compton, Yuri Gurevich, James K. Huggins, and Wuwei Shen, "An Automatic Verification Tool for UML". University of Michigan EECS Department Technical Report CSE-TR-423-00.
Summary: ASMs are used to give semantics for UML state machines, as a basis for constructing an automated tool for verifying properties of UML state machines.
Subjects: Other Models of Computation
Download: PostScript, PDF, Compressed PostScript
Notes: See also the published extended abstract.