한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)

한국정보처리학회 (Korea Information Processing Society)
권호 표지

복잡한 통신 프로토콜의 정형검증 방법 연구

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)
  • 발행 : 2001.04.13
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

시스템이 과거와 달리 통신을 이용한 분산 환경으로 많이 구현되고 있다. 이에 따라 각 시스템 사이에 통신 메커니즘에 따라 그 안정성 및 효율이 크게 좌우된다 현재 매우 다양한 통신 메커니즘이 제안되고 사용되고 있으나 점점 더 그에 대한 설계 및 이해가 복잡해지고 있는 실정이다. 따라서 복잡한 통신 메커니즘에 대한 정확성 검증이 매우 중요하다. 본 연구에서는 Spin 을 이용하여 복잡한 통신 프로토콜에 대해 모델링 및 정형 검증에 대해 논한다.

키워드