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