Equivalence checking of two statechart specifications

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

Research output: Contribution to journalArticle

8 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

  • Computer Science(all)

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

  • Cite this