USMMC: A self-contained model checker for UML state machines

USMMC: A self-contained model checker for UML state machines

UML diagrams are gaining increasing usage in Object-Oriented system designs. UML state machines are specifically used in modeling dynamic behaviors of classes. It has been widely agreed that verification of system designs at an early stage will dramatically reduce the development cost. Tool support...

Full description

Saved in:
Bibliographic Details
Main Authors: LIU, Shuang, LIU, Yang, SUN, Jun, ZHENG, Manchun, WADHWA, Bimlesh, DONG, Jin Song
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2013
Subjects:
UML state machines
model checking
semantics
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/5010
https://ink.library.smu.edu.sg/context/sis_research/article/6013/viewcontent/2491411.2494595.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/5010
https://ink.library.smu.edu.sg/context/sis_research/article/6013/viewcontent/2491411.2494595.pdf

Similar Items