1 |
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
|
2 |
G. Kwon, 'Applying Model Checking Techniques to Push Push Game Solving,' In Proceedings of SERA2003, Lecture Notes in Computer Science 3026, pp.290-303, 2003
|
3 |
A. Bouajjani, A. Legay and P. Wolper, 'Handling Liveness Properties in (\omega-)Regular Model-Checking,' In Proceedings of Infinity '04, 2004
|
4 |
http://www-cad.eecs.berkeley.edu/-kenmcmil/smv/
|
5 |
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
|
6 |
K. Fisler and M.Y. Vardi, 'Bisimulation and Model Checking,' In Proceedings of Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Lecture Notes in Computer Science 1703, pp., 1999
|
7 |
Y. Lu, 'Automatic Abstraction in Model Checking,' Ph.D.Thesis, Carnegie Mellon University, Department of Electrical and Computer Engineering, 2000
|
8 |
Z. Yang, 'Performance Analysis of Symbolic Reachability Algorithms in Model Checking,' Mater Thesis, Rice University, Department of Computer, 1999
|
9 |
http://www-sop.inria.fr/esterel.org/HtmI/About/AboutEsterel.htm
|
10 |
권기현, '모델 체킹에서 상태 투영을 이용한 모델의 추상화,' 정보처리학회논문지D, 한국정보처리학회, 제11-D권 제6호, pp.1295-1300, 2004
과학기술학회마을
DOI
|
11 |
E. M. Clarke, O. Grumberg and D. Peled, Model Checking, MIT Press, 1999
|
12 |
http://spinroot.com/spin/whatispin.html#A
|