1 |
W. Chan, Symbolic Model Checking for Large Software Specifications, Ph.D. thesis, University of Washington, Computer Science and Engineering, 1999
|
2 |
E. M. Clark, Y. Lu, S. Jha, and H. Veith, 'Tree-Like Counterexamples in Model Checking.' In Proceedings of LICS'02, pp.19-29, 2002
DOI
|
3 |
R. E. Bryant, 'Graph-Based Algorithms for Boolean Function Manipulation,' IEEE Transactions on Computer. Vol.35. No.8, pp.677-691, 1986
DOI
ScienceOn
|
4 |
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 Automation Conference, pp.427-432, 1995
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 |
A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella, 'NuSMV 2: An OpenSource Tool for Symbolic Model Checking,' In the Proceedings of CAV'02, 2002
|
7 |
권기현, '모델 체킹에서 상태 투영을 이용한 모델의 추상화,' 정보처리학회논문지D, 제10-D권 제6호, pp.1295-1300, 2004
과학기술학회마을
DOI
ScienceOn
|
8 |
권기현, 이태훈, '게임 풀이를 위한 NuSMV의 효율적인 반례생성,' 정보처리학회논문지D, 제10-D권 제5호, pp.813-820, 2003
|
9 |
M. B. Dwyer. G. S. Avrunin, and J. C. Corbett, 'Property specification patterns for finite-state verification,' In Proceedings of the Workshop on Formal Methods in Software Practice, 1998
|
10 |
G. Kwon, 'Applying Model Checking Techniques to Push Push Game Solving,' In Proceedings of SERA2003, LNCS 3026, pp.290-303, 2003
|
11 |
E. M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, 'Counterexample-Guided Abstraction Refinement,' In Proceedings of CAV'2000, pp.154-169, 2000
|
12 |
E. M. Clarke, O. Grumberg, and D. Peled, Model Checking, MIT Press, 1999
|
13 |
N. Heintze, J. D. Tygar, J. Wing, and H. C. Wong, Model checking electronic commerce protocols,' In Proceedings of the USENIX 1996 Workshop on Electronic Commerce, pp 147-164, 1996
|
14 |
권기현, '모델 검증을 이용한 게임 풀이', 정보과학회학회지, 제21권 1호, pp.7-14, 2003년
과학기술학회마을
|
15 |
A. Cimatti, and M. Roveri, 'Conformant Planning via Symbolic Model Checking,' Journal of Artificial Intelligence Research, Vol.13, pp.305-338, 2000
|
16 |
T. Kropf, Introduction to Formal Hardware Verification, Springer, 1999
|
17 |
K. Laster, and O. Grumberg, 'Modular model checking of software,' In Proceedings of TACAS'98, LNCS 1384, pp.20-35, 1998
|
18 |
M. Chechik, and A. Gufinkel, 'Proof-Like Counterexamples,' In Proceeding of TACAS'03, LNCS 2619, pp.160-175, 2003
|
19 |
P. E. Ammann, P. E. Black, and W. Majurski, 'Using Model Checking to Generate Tests from Specifications,' In Proceedings of ICFEM'98, pp.46-54, 1998
|
20 |
E. M. Clarke, E. A. Emerson, and A. P. Sistla, 'Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications,' ACM Transactions on Programming Languages and Systems, Vol.8, No.2, pp.244-263, 1986
DOI
ScienceOn
|