한국경영과학회:학술대회논문집 (Proceedings of the Korean Operations and Management Science Society Conference)

한국경영과학회 (The Korean Operations Research and Management Science Society)
권호 표지

소프트웨어 신뢰성 향상을 위한 정형기법

A Survey on Formal Verification Methods

  • 주운기 (선문대학교 산업공학과) ;
  • 이충호 (선문대학교 산업공학) ;
  • 김중배 (한국전자통신연구원 컴퓨터소프트웨어연구소)
  • 발행 : 2003.11.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

This paper considers formal verification methods for enhancing software reliability. The formal method verifies that a software is correctly implemented according to its specification by using a mathematical formalism. This paper presents a partial survey on the formal methods and discusses possible applications for the improved software implementation. Finally, some topics are remarked as further studies.

키워드