A survey on formal methods using in software development

Author

Juan You ; Junquan Li ; Song Xia

Author_Institution

Zhengzhou Inf. Sci. & Technol. Inst., Zhengzhou, China

fYear

2012

fDate

7-9 Dec. 2012

Firstpage

1

Lastpage

4

Abstract

Formal methods have been well used in software development segments of requirement analysis, system design and realization, test and maintenance.In this paper, the research status, achievement and problems of formal methods are summarized. Some recent progress and applications of formal methods using in software development are reviewed. The limitations and further research directions are pointed. Research on formal methods can ensure the software system security and reliability by making strict and precise specifications, and verifying several system performances as well.

Keywords

formal specification; program testing; program verification; security of data; software maintenance; software reliability; formal methods; precise specification; requirement analysis; software development; software development segments; software reliability; software system security; system design; system performance verification; Formal Methods; Formal Specification; Formal Verification; Software Development;

fLanguage

English

Publisher

iet

Conference_Titel

Information Science and Control Engineering 2012 (ICISCE 2012), IET International Conference on

Conference_Location

Shenzhen

Electronic_ISBN

978-1-84919-641-3

Type

conf

DOI

10.1049/cp.2012.2353

Filename

6755732