SCOPUS 정보 검색 플랫폼

Proceedings of the American Control Conference

Volumn 1, Issue , 2001, Pages 313-318

Formal verification of statecharts using finite-state model checkers

(2) Zhao, Qianchuan a Krogh, Bruce H b

a TSINGHUA UNIVERSITY (China)

b CARNEGIE MELLON UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; FINITE AUTOMATA; SEMANTICS; TREES (MATHEMATICS);

MATHWORKS STATEFLOW TOOLBOX; STATECHARTS; TEMPORAL LOGIC EXPRESSIONS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0034846993 PISSN: 07431619 EISSN: None Source Type: Journal
DOI: 10.1109/ACC.2001.945563 Document Type: Article

Times cited : (6)

References (21)

1
- 78449244619
- LNCS
- (1994) A Comparison of Statecharts Variants , vol.863 , pp. 128-148
- Von Der Beek, M.¹

2
- 84902273390
- A methodology for proving control systems with Lustre and PVS
- in C.B. weinstock and J. Rushby (eds.)
- (1999) Dependable Computing for Critical Applications , vol.7 , pp. 89-107
- Bensalem, S.¹

3
- 0033324147
- Symbolic verification of executable control specifications
- Proceedings of the 1999 IEEE Conference on Computer Aided Control System Design, Hawaii, Aug. 22-26, 1999
- Banphawatthanarak, C.¹ Krogh, B.H.² Butts, K.³

4
- 0032640840
- Decoupling synchronization from local control for efficient symbolic model checking of statecharts
- (1999) ICSE'99 , pp. 142-151
- Chan, W.¹ Anderson, R.J.² Beame, P.³ Jones, D.H.⁴

5
- 0003962322
- MIT Press
- (1999) Model Checking
- Clarke, E.M.¹ Grumberg, O.² Peled, D.A.³

6
- 0003779858
- An example of linking formal methods with CASE tools
- (1993) Proc. CASCON'93 , vol.1 , pp. 97-107
- Day, N.¹

7
- 0003882709
- (1999) Patterns in Property Specification for Finite-State Verification
- Dwyer, M.¹ Avrunin, G.² Corbett, J.³

8
- 0023365727
- A visual formalism for complex systems
- (1987) Science of Computer Programming , vol.8 , pp. 231-274
- Harel, D.¹ Statechafts, L.²

9
- 0024016415
- On visual formalisms
- (1988) Comm. ACM , vol.31 , pp. 514-530
- Harel, D.¹

10
- 0030261971
- The STATEMATE semantics of statecharts
- (1996) ACM Tran. Software Engineering and Technology , vol.5 , Issue.4 , pp. 293-333
- Harel, D.¹ Naamad, A.²

11
- 0028101576
- An OBDD-representation of statecharts
- (1994) Proceedings of European Design and Test Conference , pp. 142-129
- Helbig, J.¹ Kelb, P.²

12
- 84955559679
- Equivalence of statecharts
- (1996) CONCUR'96: Concurrency Theory, LNCS , vol.1119 , pp. 687-702
- Maggiolo-Schettini, A.¹ Peron, A.² Tini, S.³

13
- 85013594804
- Projectable semantics for statechart
- MFCS'98, Workshop on Concurrency, 1998
- Maggiolo-Schettini, A.¹ Tini, S.²

14
- 0003935295
- The world of programming languages
- Springer-Verlag, Berlin
- (1986)
- Marcotty, M.¹ Ledgard, H.²

15
- 0004297713
- Manual, The Mathworks Inc., September
- (1999) Stateflow User's Guide

16
- 0345534633
- Formal verification of dynamic properties in an aerospace-application
- (1999) Formal Methods in System Design , vol.14 , pp. 135-169
- Nadjm-Thrani, S.¹ Stromberg, J.-E.²

17
- 84958790003
- What is in a step: On semantics of statecharts
- (1991) LNCS , vol.526 , pp. 244-264
- Pnueli, A.¹ Shalev, M.²

18
- 0003902716
- Symbolic verification of stateflow logic
- International Workshop on Discrete Event Systems (WODES98), Cagliari, Sardinia, August 26-28, 1998
- Rausch, M.¹ Krogh, B.H.²

19
- 0032024379
- Extending statecharts with temporal logic
- (1998) IEEE Trans. Software Engineering , vol.24 , Issue.3 , pp. 216-231
- Sowmya, A.¹ Ramesh, S.²

20
- 0039101842
- A compositional semantics for statecharts using labeled transition systems
- (1994) LNCS , vol.836 , pp. 2-17
- Uselton, A.C.¹ Smolka, S.A.²

21
- 85013594693

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.