Formal Methods for Commercial Applications Issues vs. Solutions


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.

Share and Cite:

Bibi, S. , Mazhar, S. , Minhas, N. and Ahmed, I. (2014) Formal Methods for Commercial Applications Issues vs. Solutions. Journal of Software Engineering and Applications, 7, 679-685. doi: 10.4236/jsea.2014.78062.

Conflicts of Interest

The authors declare no conflicts of interest.


[1] Sammi, R., Rubab, I. and Qureshi, M.A. (2010) Formal Specification Languages for Real-Time Systems. 2010 International Symposium in Information Technology (ITSim), Kuala Lumpur, 15-17 June 2010, 1642-1647.
[2] Woodcock, J.I.M. and Bicarregui, J. (2009) Formal Methods: Practice and Experience Engineering College of Aarhus. ACM Computing Surveys, 41, 1-40.
[3] Geer, P.A. (2011) Formal Methods in Practice: Analysis and Application of Formal Modeling to Information System.
[4] Bowen, J.P. and Hinchey, M.G. (2006) Ten Commandments of Formal Methods... Ten Years Later. Computer, 39, 40-48.
[5] Sommerville, L. (2009) Chapter 27 Formal Specification.
[6] Stidolph, D.C. and Whitehead, J. (2003) Managerial Issues for the Consideration and Use of Formal Methods. Lecture Notes in Computer Science, 2805, 170-186.
[7] Schiller, T.W. and Ernst, M.D. (2012) Reducing the Barriers to Writing Verified Specifications. ACM SIGPLAN Notices, 47, 95-112.
[8] Fulara, J. and Jakubczyk, K. (2010) Practically Applicable Formal Methods. Lecture Notes in Computer Science, 5901, 407-418.
[9] Stidolph, D.C. (2003) When Should Formal Methods Be Used?
[10] Jhala, R. and Majumdar, R. (2009) Software Model Checking. ACM Computing Surveys, 41, 1-54.
[11] Kefalas, P., Eleftherakis, G. and Sotiriadou, A. (2003) Developing Tools for Formal Methods.
[12] Bowen, J.P. and Hinchey, M.G. (1994) Seven More Myths of Formal Methods?: Dispelling Industrial Prejudices. Lecture Notes in Computer Science, 873, 105-117.
[13] Knight, J.C., Dejong, C.L., Gibble, M.S. and Nakano, L.G. (1998) Why Are Formal Methods Not Used More Widely?
[14] Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., et al. (2002) Using Formal Specifications to Support Testing. ACM Computing Surveys, 41, Article No. 9.
[15] Singh, M. (2013) Formal Methods: A Complementary Support for Testing. International Journal of Advanced Research in Computer Science and Software Engineering, 3, 320-322.
[16] Cofer, D., Whalen, M. and Miller, S. (2008) Model-Based Development. 1-8.
[17] Whalen, M., Cofer, D., Miller, S., Krogh, B.H. and Storm, W. (2008) Integration of Formal Analysis into a Model-Based Software Development Process. Lecture Notes in Computer Science, 4916, 68-84.
[18] Knablein, B.J. and Sahm, H. (2010) Contributed Article Automated Formal Method Verifies Highly-Configurable HW /SW Interface. 1-7.
[19] Batra, M., Malik, A. and Dave, M. (2013) Formal Methods?: Benefits, Challenges and Future Direction. Journal of Global Research in Computer Science, 4, 2-6.
[20] Alves, M.C.B., Dantas, C.C. and Silva, R.B. (2007) A Topological Formal Treatment for Scenario-Based Software Specification of Concurrent Real-Time Systems. 1-7.
[21] Groote, J.F., Osaiweran, A.A.H. and Wesselius, J.H. (2011) Benefits of Applying Formal Methods to Industrial Control Software. 1-10.
[22] Shafiq, S. and Minhas, N.M. (2014) Integrating Formal Methods in XP—A Conceptual Solution. Journal of Software Engineering and Applications, 7, 299-310.

Copyright © 2023 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.