한국경영과학회:학술대회논문집 (Proceedings of the Korean Operations and Management Science Society Conference)
- 한국경영과학회 2003년도 추계학술대회 및 정기총회
- /
- Pages.297-300
- /
- 2003
소프트웨어 신뢰성 향상을 위한 정형기법
A Survey on Formal Verification Methods
초록
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.
키워드