Practitioners' views on the use of formal methods: an industrial survey by structured interview

  • Snook C
  • Harrison R
  • 1


    Mendeley users who have this article in their library.
  • N/A


    Citations of this article.


The recognised deficiency in the level of empirical investigation of software engineering methods is particularly acute in the area of formal methods, where reports about their usefulness vary widely. We interviewed several formal methods users about the use of formal methods and their impact on various aspects of software engineering including the effects on the company, its products and its development processes as well as pragmatic issues such as scalability, understandability and tool support. The interviews are a first stage of empirical assessment. Future work will investigate some of the issues raised using formal experimentation and case studies.

Author-supplied keywords

  • formal methods

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

There are no full text links


  • Colin Snook

  • Rachel Harrison

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free