Equivalence checking of two Statechart specifications
Myung Hwan Park, Ki-Seok Bang, Jin‐Young Choi, Inhye Kang · 2002
In this paper we give a process algebraic semantics for Statechart via a translation into algebra of communicating shared resources (ACSR). Also, we propose a formal verification method for Statechart specifications by showing an equivalence relationship between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.