Industrial Practice in Formal Methods: A Review

  • J. C. Bicarregui
  • J. S Fitzgerald
  • P. G. Larsen
  • J. C. P. Woodcock
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5850)


We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant challenges remain in providing usable tools that can be integrated into established development processes; in education and training; in taking formal methods from first use to second use, and in gathering and evidence to support informed selection of methods and tools.


Model Check Formal Method Industrial Practice Formal Technique Test Case Generation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Austin, S., Parkin, G.: Formal methods: A survey. Technical report, National Physical Laboratory, Teddington, Middlesex, UK (March 1993)Google Scholar
  2. 2.
    Craigen, D., Gerhart, S., Ralston, T.: An International Survey of Industrial Applications of Formal Methods, vol. 2. U.S. National Institute of Standards and Technology, Computer Systems Laboratory (March 1993)Google Scholar
  3. 3.
    Clarke, E.M., Wing, J.M.: Formal methods: State of the art and future directions. ACM Computing Surveys 28(4), 626–643 (1996)CrossRefGoogle Scholar
  4. 4.
    Bloomfield, R., Craigen, D.: Formal methods diffusion: Past lessons and future prospects. Technical Report D/167/6101, Adelard, London, UK (December 1999)Google Scholar
  5. 5.
    Hinchey, M.G., Bowen, J.P.: To formalize or not to formalize? IEEE Computer 29(4), 18–19 (1996)Google Scholar
  6. 6.
    Glass, R.L.: Formal methods are a surrogate for a more serious software concern. IEEE Computer 29(4), 19 (1996)MathSciNetGoogle Scholar
  7. 7.
    VSR: Verified Software Repository (2009),
  8. 8.
    Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal Methods: Practice and Experience. ACM Computing Surveys (in press, 2009)Google Scholar
  9. 9.
    Miller, S.P.: The industrial use of formal methods: Was Darwin right? In: 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, Boca Raton, FL, pp. 74–82. IEEE Computer Society, Los Alamitos (1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • J. C. Bicarregui
    • 1
  • J. S Fitzgerald
    • 2
  • P. G. Larsen
    • 3
  • J. C. P. Woodcock
    • 4
  1. 1.STFC Rutherford Appleton Laboratory 
  2. 2.Newcastle University 
  3. 3.Engineering College of Aarhus 
  4. 4.University of York 

Personalised recommendations