1 |
E. M. Clarke, O. Grumberg and D. Peled, Model Checking, MIT Press, 1999
|
2 |
E. M. Clarke, O. Grumberg, K. L. McMillan and X. Zhao, 'Efficient Generation of Counterexamples and Witness in Symbolic Model Checking,' in Proceedings of Design Au-tomation Conference, pp.427-432, 1995
DOI
|
3 |
E. A. Emerson, Temporal and modal logic, in the Handbook of Theoretical Computer Science : Formal Models and Se-mantics, J. van Leeuwen, editor, Elsevier, pp.995-1072, 1990
|
4 |
E. M. Clarke, O. Grumberg, S. Jha, Y. Lu and H. Veith, 'Counterexample-Guided Abstraction Refinement,' in Pro-ceedings of Computer Aided Verification, pp.154-169, 2000
DOI
|
5 |
P. E. Ammann, P. E. Black and W. Majurski, 'Using Model Checking to Generate Tests from Specifications,' in Pro-ceedings of ICFEM '98, pp.46-54, 1998
DOI
|
6 |
A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani and A. Tacchella, 'Nu-SMV 2 : An OpenSource Tool for Symbolic Model Che-cking,' In Proceedings of CAV '02, 2002
|
7 |
K. L. McMillan, Symbolic Model Checking, Kluwer Aca-demic Publishers, 1993
|
8 |
M. Huth, M. Ryan, Logic in Computer Science : Modeling and Reasoning about System, Cambridge University Press, 2000
|
9 |
W. Chan, Symbolic Model Checking for Large Software Specifications, Ph.D. thesis, University of Washington, Com-puter Science and Engineering, 1999
|
10 |
권기현, '모델 검증을 이용한 게임 풀이', 정보과학회지, 제21권 제1호, pp.7-14, 2003
과학기술학회마을
|
11 |
Y. Lu, Automatic Abstraction in Model Checking, Ph.D. thesis, Carnegie Mellon University, Department of Elec-trical and Computer Engineering, 2000
|
12 |
E. M. Clarke, O. Grumberg, S. Jha, Y. Lu and H. Veith, 'Progress on the State Explosion Problem in Model Che-cking,' in Proceedings of 10 Years Dagstuhl, LNCS 2000, pp.154-169, 2000
|