한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2012년도 추계학술발표대회
- /
- Pages.1578-1580
- /
- 2012
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
SPIN 과 SMV가 생성하는 반례의 특성 비교
Comparison of Counter-Examples Generated by Model Checkers SPIN and SMV
- Chae, Yeogyeong (Department of Computer Science, Kyonggi University) ;
- Kang, Hyesu (Department of Computer Science, Kyonggi University) ;
- Kwon, Ryoungkwo (Department of Computer Science, Kyonggi University) ;
- Kwon, Gihwon (Department of Computer Science, Kyonggi University)
- 발행 : 2012.11.22