ScholarLens Back to search
2012•Unpublished venueRequires access

A survey on formal methods using in software development

Juan You, Song Xia, Junquan Li

Open publisher page 10 citations

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.

About this research paper

What this paper is about

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.

Why it matters

OpenAlex reports 10 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available 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.

Key concepts: Computer science, Formal methods, Software engineering, Software development, Formal specification, Formal verification, Software, Systems engineering

Related papers

Related paper 1Related paper 2Related paper 3
Back to paper searchBrowse research topicsOriginal source
A survey on formal methods using in software development — Research Paper | ScholarLens