UML statechart diagrams mainly used to describe the behaviors of objects. Until now, UML statechart diagrams has no standard formal semantics, so it is very difficult to analysis and verification UML ...

UML statechart diagrams are widely used in spec-ification of software behaviour. For various reasons, during statechart design process, detrimental sections can be introduced in the statechart design ...

Article citations More>> D. Latella, I. Majzik, and M. Massink, “Automatic verification of a behavioral subset of UML Statechart diagrams using the SPIN model-checker,” Formal Aspects of Computing, pp ...