1 |
S. Barner, D. Geist and A. Gringauze, 'Symbolic Localization Reduction with Reconstruction Layering and Back-tracking,' Proceedings of CA V'02, LNCS 2404, pp.65-77, 2002
|
2 |
T. Lee, G. Kwon, 'Relay Model checking for Avoiding The State Explosion Problem,' In Proceedings of SERA'2004, pp.305- 310, 2004
|
3 |
E. M. Clarke, O. Grumberg, S. Jha, Y. Lu and H. Veith, 'Counterexample-Guided Abstraction Refinement,' in Proceedings of Computer Aided Verification, pp.154-169, 2000
|
4 |
권기현, 이태훈, '게임 풀이를 위한 NuSMV의 효율적인 반례 생성,' 한국정보처리학회, 정보처리학회논문지D, 제10-D권 제5호, pp.813-820, 2003
과학기술학회마을
DOI
|
5 |
E. M. Clarke, O. Grumberg and D.E. Long, 'Model Checking and Abstraction,' ACM Transactions on Programming Languages and Systems, Vol.16, No.5, pp.1512-1542, 1994
DOI
ScienceOn
|
6 |
G. Kwon, 'Applying Model Checking Techniques to Push Push Game Solving,' in Proceedings of SERA2003, LNCS 3026, pp.290-303, 2003
|
7 |
http://www-cad.eecs.berkeley.edu/~kenmcmil/smv/
|
8 |
http://nusmv.irst.itc.it/
|
9 |
E. M. Clarke, O. Grumberg and D. Peled, Model Checking, MIT Press, 1999
|
10 |
권기현, '모델 검증을 이용한 게임 풀이', 정보과학회학회지, 제21권 제1호, pp.7-14, 2003
과학기술학회마을
|
11 |
Y. Lu, 'Automatic Abstraction in Model Checking,' Ph.D. thesis, Carnegie Mellon University, Department of Electrical and Computer Engineering, 2000
|
12 |
R. Bloem, K. Ravi and F. Somenzi, 'Symbolic Guided Search for CTL Model Checking,' in Proceedings of Design Automation Conference, pp.29- 34, 2000
|
13 |
K. L. McMillan, 'Symbolic Model Checking : An Approach to the State Explosion Problem,' PhD thesis, Carnegie Mellon University, Department of Computer Science, 1992
|
14 |
R. Bloem, I. Moon, K. Ravi and F. Somenzi, 'Approximation for Fixpoint Computations in Symbolic Model Checking,' in Proceedings of SCI'2000, Vol.VIII, Part II, 2000, pp.701-706, 2000
|
15 |
E. M. Clarke, O. Grumberg, S. Jha, Y. Lu and H. Veith, 'Progress on the State Explosion Problem in Model Checking,' in Proceedings of 10 Years Dagstuhl, LNCS 2000, pp.154-169, 2000
|