Equivalence checking of two statechart specifications

Proceedings of the International Workshop on Rapid System Prototyping

Volumn , Issue , 2000, Pages 46-51

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

^a Korea University   (South Korea)

^b Soongsil University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; GRAPH THEORY;

ALGEBRA FOR COMMUNICATING SHARED RESOURCES (ACSR); STATECHART;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0033716675     PISSN: 10746005     EISSN: None     Source Type: Journal    
DOI: 10.1109/IWRSP.2000.855185     Document Type: Article

References (11)

1. W. Chan R. J Anderson P. Beame S. Burns F. Modugno D. Notkin J. D. Reese Model checking large software specifications IEEE Transactions on Software Engineering 24 7 498 519 July 1998
2. J. Y. Choi I. H. Kang I. S. Lee Translation of Modechart Specification to Algebra of Communicating Shared Resources Proceedings of the first International Workshop on Real-Time Computing Systems and Applications Proceedings of the first International Workshop on Real-Time Computing Systems and Applications 1994
3. J. Y. Choi I. S. Lee H. Ben-Abdallah A process algebraic method for the specification and analysis of real-time systems Formal Methods for Real-Time Computing 1996
4. D. Clarke VERSA: Verification, Execution and Rewrite System for ACSR 1996 University of Pennsylvania
5. D. Harel Statechart: A Visual Formalism For Complex Systems Science of Computer Programming 8 231 274 1987
6. D. Harel A. Naamad The STATEMATE semantics of statecharts ACM Transactions on Software Engineering and Methodology 5 4 293 333 OCT 1996
7. D. Harel M. Politi Modeling Reactive Systems with Statecharts 1998 McGraw-Hill
8. C. Mead L. Conway Introduction to VLSI Systems Addison-Wesley
9. R. Milner Communication and Concurrency 1989 Prentice Hall International(UK) Ltd.
10. A. C. Uselton S. A. Smolka A Process Algebraic Semantics for Statecharts via State Refinement 1994
11. A. C. Uselton S. A. Smolka A Compositional Semantics for Statecharts using Labeled Transition Systems 836 1994 Springer Verlag