Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2001.04b
- /
- Pages.673-676
- /
- 2001
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
A Study on Formal Verification of complex network protocol
복잡한 통신 프로토콜의 정형검증 방법 연구
- Lee, Joo-Yong (Dept. of Computer Science & Engineering, Korea University) ;
- Bang, Ki-Seok (Dept. of Computer Science & Engineering, Korea University) ;
- Choi, Jin-Young (Dept. of Computer Science & Engineering, Korea University)
- Published : 2001.04.13
Abstract
시스템이 과거와 달리 통신을 이용한 분산 환경으로 많이 구현되고 있다. 이에 따라 각 시스템 사이에 통신 메커니즘에 따라 그 안정성 및 효율이 크게 좌우된다 현재 매우 다양한 통신 메커니즘이 제안되고 사용되고 있으나 점점 더 그에 대한 설계 및 이해가 복잡해지고 있는 실정이다. 따라서 복잡한 통신 메커니즘에 대한 정확성 검증이 매우 중요하다. 본 연구에서는 Spin 을 이용하여 복잡한 통신 프로토콜에 대해 모델링 및 정형 검증에 대해 논한다.
Keywords