Application of formal methods to software engineering
Libo Feng · Hebei ke-ji daxue xuebao · 2011
This paper discusses briefly some basic concepts of formal method,and studies mainly its mathematical theory foundation and its application in each stage of software engineering.The paper also analyzes advantages,limitations of formal method as well as their respective reasons in theoretical research and engineering practice,then points out some future developing directions of formal method,and finally makes a brief evaluation of applying formal method to software engineering.