S. Osama, S. Iqbal, A. Ahsan


This study has been done to understand the current usage pattern of formal methods in the software industry of Pakistan. The objectives of the study was to ascertain if organizations are using formal methods, what kinds of organizations are using them and what are the challenges associated with their usage. The study is exploratory as very limited literature on formal methods in Pakistan is available. The study employs literature reviews to understand the global trends in formal methods. As per the primary research, there is currently no organizations or projects utilizing formal methods in Pakistan. Key inhibitors in the adaptation of formal methods are also explored and highlighted through the study. As a conclusion to the study, a set of recommendations are delivered for promoting the use of formal methods in Pakistan focusing on regulatory support, academic development and methods to promote the usage in public and private sector

Full Text:



V. George and R. Vaughn, The Journal of

Defense Software Engineering 16, No. 1

(2003) 30.

A. Ghose. Formal methods for requirements

engineering. International Symposium on

Multimedia Software Engineering (ISMSE

, Taipei, Taiwan, 11-13 December


J. Woodcock, P.G. Larson, J. Bicarregui and

J. Fitzgerald, ACM Computing Surveys 41,

No. 4 (2009) 1.

Anthony Hall, Journal of Universal Computer

Science 13, No. 5 (2007) 669.

E. M. Clarke et al., ACM Computing Surveys

, No. 4 (1996) 626.

J.P. Bowen and M. G. Hinchey, Ten

Commandments of Formal Methods… Ten

Years Later, IEEE Computer Society,

(January 2006) p. 40-48.

J.P. Bowen and M.G. Hinchey, IEEE

Software, 12, No. 4 (1995) 34.


  • There are currently no refbacks.