Equivalence checking of two statechart specifications

Myung Hwan Park, Ki Seok Bang, Jin Young Choi, Inhye Kang

Research output: Contribution to journalArticlepeer-review

9 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)46-51
Number of pages6
JournalProceedings of the International Workshop on Rapid System Prototyping
Publication statusPublished - 2000

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Equivalence checking of two statechart specifications'. Together they form a unique fingerprint.

Cite this