[an error occurred while processing this directive]
[an error occurred while processing this directive]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. |