Symbolic model checking of UML statechart diagrams with an integrated approach
Vitus S. W. Lam, Julian A. Padget · 2004
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 pi/calculus and finally verified automatically by NuSMV. We demonstrate an application of the proposed approach using the SET/A protocol as an example.