This paper puts forward a new approach for the specification and verification of finite state systems. The design of a system is first specified in UML statechart diagrams, then formalized in the /spl ...

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 ...