Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2001.04a
- /
- Pages.181-184
- /
- 2001
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
CTL Model Checking using SPIN
SPIN 을 이용한 CTL 모델 체킹 방법론 연구
- Bang, Ki-Seok (Department of Computer Science and Engineering, Korea University) ;
- Lee, Joo-Yong (Department of Computer Science and Engineering, Korea University) ;
-
Choi, Jin-Young
(Department of Computer Science and Engineering, Korea University)
- Published : 2001.04.13
Abstract
모델체킹에 사용되는 논리는 CTL 과 LTL 이 있다. 이 두 논리식은 그 표현력과 효과적인 면에서 크게 차이가 있다. 현재 SPIN에서는 LTL 을 이용하여 모델체킹을 수행하고 있다. 본 논문에서는 LTL 모델체커인 SPIN 에 CTL 을 적용시킬 수 있는 가능성을 제시하고, LTL 모델 체커에 CTL 을 적용시킬 수 있는 방법에 대해 논한다.
Keywords