Model checking of UML statecharts is the main concern of this pa-per. To model check it, however, its description has to be translated into the in-put language of the model checker SMV. For the purpose of translating UML statecharts as closely as possible into SMV, we use rewrite rules and its opera-tional semantics.
CITATION STYLE
Kwon, G. (2000). Rewrite rules and operational semantics for model checking UML statecharts. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1939, pp. 528–540). Springer Verlag. https://doi.org/10.1007/3-540-40011-7_39
Mendeley helps you to discover research relevant for your work.