Equivalence Checking of Two Statechart Specifications

Authors:
Myung-Hwan Park;Ki-Seok Bang;Jin-Young Choi;Inhye Kang
Affiliations:
-;-;-;-
Venue:
RSP '00 Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000)
Year:
2000

Citing 0
Cited 2

Creating and Validating Embedded Assertion Statecharts

IEEE Distributed Systems Online
Architectural design, behavior modeling and run-time verification of network embedded systems

Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we give a process algebraic semantics for Statechart via a translation into Algebra of Communicating Shared Resources (ACSR). In addition, we propose the 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.