1 |
S. Park, G. Kwon, and S. Ha, 'Formalization of fFSM Model and Its Verification,' in the Proceedings of the ICESS, LNCS 3820, Springer, pp.361- 372, 2005
|
2 |
D. Kim, 'System-Level Specification and Cosimulation for Multimedia Embedded Systems,' Ph.D. Dissertation, Computer Science Department, Seoul National University, 2004
|
3 |
W. Chan, 'Symbolic Model checking for Large software Specification,' Ph.D. Dissertation, Computer Science and Engineering, University of Washington, 1999
|
4 |
E. M. Clarke and W. Heinle, 'Modular translation of Statecharts to SMV,' Technical Report CMU-CS-00-XXX, Carnegie Mellon University, 2000
|
5 |
http://embedded.eecs.berkeley.edu/Alumni/kenmcmil/smv/
|
6 |
J. B. Lind-Nielsen, 'Verification of Large State/Event Systems,' Ph.D. Dissertation, Department of Information Technology, Technical University of Denmark, 2000
|
7 |
D. Harel, A. Naamad, 'The STATEMATE semantics of statecharts,' ACM Transactions on Software Engineering Methodology, Vo1.5, No.4, 1996
DOI
|
8 |
A. Pnueli and M. Shalev. 'What is in a step: On the semantics of Statecharts,' in the Proceedings of the TACS, LNCS 526, Springer, pp.244-264, 1991
DOI
|
9 |
E. M. Clarke, O. Grumberg and D. Peled, Model Checking, MIT Press, 1999
|
10 |
D. Kim, S. Ha, 'Static Analysis and Automatic Code Synthesis of flexible FSM Model,' in the Proceedings of ASP-DAC, pp.18-21, 2005
DOI
|