TITLE:
Formal Methods for Commercial Applications Issues vs. Solutions
AUTHORS:
Saiqa Bibi, Saira Mazhar, Nasir Mehmood Minhas, Irfan Ahmed
KEYWORDS:
Formal Methods, Commercial Applications, Issues of Formal Methods
JOURNAL NAME:
Journal of Software Engineering and Applications,
Vol.7 No.8,
July
22,
2014
ABSTRACT: It was advocated that in
21st century, most of software will be developed with benefits of formal
methods. The benefits include faults found in earlier stage of software
development, automating, checking the certain properties and minimizing rework.
In spite of their recognition in academic world and these claimed advantages,
formal methods are still not widely used by commercial software industry. The
purpose of this research is to promote formal methods for commercial software
industry. In this paper we have identified issues in use of formal methods for
commercial applications and devised strategies to overcome these difficulties
which will provide motivations to use formal methods for commercial
applications.