Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2005.07a
- /
- Pages.904-906
- /
- 2005
- /
- 1598-5164(pISSN)
On Symbolic Incremental CTL Model Checking
Symbolic Incremental CTL 모델 검증
- Chae Jung-Wook (Department of Computer Science and Engineering Korea University) ;
-
In Hoh Peter
(Department of Computer Science and Engineering Korea University)
- Published : 2005.07.01
Abstract
최근 유비쿼터스 컴퓨팅 환경이 부각되면서 유비쿼터스 컴퓨팅 환경에서의 모델 검증을 위해 기존의 심볼릭 검증 모델을 응용한 매우 크고 여러 콤포넌트로 구성된 모델 검증 대상이 빈번히 변화하는 상황을 가정한 모델 검증 기술이 요구되었다. 본 논문에서는 빈번히 변화하는 모델 검증을 위해 새로운 알고리즘을 제시하고 완전히 증명하였으며 기존의 모델과 새로운 모델간의 성능 비교 실험으로 새로운 모델의 효율성을 증명하였다.
Keywords