Skip to main content
SpringerLink
Log in

Ten Commandments of Formal Methods… Ten Years On

  • Chapter
Conquering Complexity

Abstract

How have the formal methods commandments fared over the past decade? Are they still valid in the current industrial setting, and have attitudes toward formal methods improved? The authors revisit their ten maxims to answer these questions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Section 11.13, Looking Ahead, was updated by the authors in March 2011.

References

  1. Bowen, J.P., Hinchey, M.G.: Seven more myths of formal methods. IEEE Softw. 12(4), 34–41 (1995)

    Article  Google Scholar 

  2. Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. IEEE Comput. 28(4), 56–63 (1995)

    Article  Google Scholar 

  3. Bowen, J.P., Hinchey, M.G.: Ten commandments revisited: a ten-year perspective on the industrial application of formal methods. In: 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS ’05), pp. 8–16. ACM, New York (2005)

    Chapter  Google Scholar 

  4. Hall, J.A.: Seven myths of formal methods. IEEE Softw. 7(5), 11–19 (1990)

    Article  Google Scholar 

  5. Hinchey, M.G., Rash, J.L., Rouff, C.A.: Requirements to design to code: towards a fully formal approach to automatic code generation. Technical report NASA Technical Monograph TM-2005-212774, NASA Goddard Space Flight Center (2005)

    Google Scholar 

  6. Hinchey, M.G.: Confessions of a formal methodist. In: Lindsay, P. (ed.) Seventh Australian Workshop Conference on Safety Critical Systems and Software 2002, vol. 15, Adelaide, Australia. Conferences in Research and Practice in Information Technology Series, vol. 139, pp. 17–20. Australian Computer Society, Darlinghurst (2002)

    Google Scholar 

  7. Hinchey, M.G., Bowen, J.P. (eds.): Applications of Formal Methods. Prentice Hall, Upper Saddle River (1995)

    MATH  Google Scholar 

  8. Hinchey, M.G., Bowen, J.P. (eds.): Industrial-Strength Formal Methods in Practice. FACIT Series. Springer, Berlin (1999)

    Google Scholar 

  9. Lau, K.-K., Banach, R. (eds.): Formal Methods and Software Engineering, Proceedings 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1–4, 2005. Lecture Notes in Computer Science, vol. 3785. Springer, Berlin (2005)

    Google Scholar 

  10. MacKenzie, D.: Mechanizing Proof: Computing, Risk, and Trust. MIT Press, Cambridge (2001)

    MATH  Google Scholar 

  11. Patterson, D.A., Brown, A., Broadwell, P., Candea, G., Chen, M., Cutler, J., Enriquez, P., Fox, A., Kiciman, E., Merzbacher, M., Oppenheimer, D., Sastry, N., Tetzlaff, W., Traupman, J., Treuhaft., N.: Recovery-oriented computing (ROC): motivation, definition, techniques, and case studies. Technical report Computer Science Technical Report UCB//CSD-02-1175, March 15, 2002, UC Berkeley (2002)

    Google Scholar 

  12. Power, D., Meyer, B., Grimes, J., Potel, M., Vetter, R., Laplante, P., Pree, W., Pomberger, G., Hill, M.D., Larus, J.R., Wood, D.A., El-Rewini, H., Weide, B.W.: Where is software headed? A virtual roundtable. Computer 28(8), 20–32 (1995)

    Article  Google Scholar 

  13. Research Triangle Institute: The Economic Impacts of Inadequate Infrastructure for Software Testing. Ed. Dr. Gregory Tassey. RTI Project No. 7007.011. National Institute of Standards and Technology, Washington, DC, May 2002

    Google Scholar 

  14. Romijn, J., Smith, G., van de Pol, J. (eds.): Integrated Formal Methods, Proceedings 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29–December 2, 2005. Lecture Notes in Computer Science, vol. 3771. Springer, Berlin (2005)

    Google Scholar 

  15. Ross, P.E.: The exterminators. IEEE Spectr. 42(9), 36–41 (2005)

    Article  Google Scholar 

  16. Sharpe, R.: Formal methods start to add up again. Computing (2004). 08 Jan 2004. Available online: http://www.computing.co.uk/ctg/feature/1836071/formal-methods-start-add

Download references

Acknowledgements

We are grateful to our many colleagues and friends who provided us with valuable feedback and reactions to our original article. We also acknowledge the contributions of the formal methods community as a whole and thank them for providing us with material on which to base the original commandments. In particular, we thank David Atkinson, Jin Son Dong, Cliff Jones, Tiziana Margaria, Jim Rash, Chris Rouff, Roy Sterritt, and Bernhard Steffen, for their input.

Special thanks go to Tiziana Margaria and Mieke Massink, co-chairs of FMICS 2005, and George Eleftherakis, chair of SEEFM 2005, for inviting earlier conference presentations of this material, in the former case rather aptly to coincide with the tenth anniversary of FMICS.

Author information

Authors and Affiliations

  1. Museophile Limited, London, UK

    Jonathan P. Bowen

  2. Lero—the Irish Software Engineering Research Centre, University of Limerick, Limerick, Ireland

    Mike Hinchey

Authors
  1. Jonathan P. Bowen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mike Hinchey
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jonathan P. Bowen .

Editor information

Editors and Affiliations

  1. Lero, Irish Software Eng Research Ctr, University of Limerick, Limerick, Ireland

    Mike Hinchey

  2. Lero, International Science Centre, University of Limerick, Limerick, Ireland

    Lorcan Coyle

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag London Limited

About this chapter

Cite this chapter

Bowen, J.P., Hinchey, M. (2012). Ten Commandments of Formal Methods… Ten Years On. In: Hinchey, M., Coyle, L. (eds) Conquering Complexity. Springer, London. https://doi.org/10.1007/978-1-4471-2297-5_11

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-2297-5_11

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-2296-8

  • Online ISBN: 978-1-4471-2297-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation