A survey on formal methods using in software development
Juan You, Song Xia, Junquan Li · 2012
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.