Skip to main content
SpringerLink
Log in

Formal methods for early fault detection

  • Invited Lectures
  • Conference paper
  • First Online:
Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1135))

Abstract

A traditional formal verification method becomes an effective weapon in the arsenal of a designer only after sufficient insight into a design problem has been developed for a draft solution to be formalized. In the initial phases of a design the designers can therefore perceive formal methods to be more of a hindrance than an assistance. Since formal methods are meant to be problem solving tools, we would like to find ways to make them both effective and attractive from the moment that a design process begins.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. LNCS 1055, Springer, (1996), 35–48.

    Google Scholar 

  2. Bowen, J., Hinchey, M.G.: Seven more myths of formal methods. IEEE Software, 12(4), (July 1995), 34–41.

    Google Scholar 

  3. Holzmann, G.J.: Design and validation of computer protocols. Prentice Hall, Software Series, 1991.

    Google Scholar 

  4. Holzmann, G.J.: Early fault detection tools. LNCS 1055, Springer, (1996), 1–13.

    Google Scholar 

  5. ITU-T Recommendation Z.120, Message Sequence Chart (MSC), March 1993. (MSC96: http://www.win.tue.nl/win/cs/fm/sjouke/msc.html)

    Google Scholar 

  6. Kernighan, B.W., Ritchie, D.M.: The C Programming Language. Prentice Hall, 2nd Ed. 1988.

    Google Scholar 

  7. Lee, D., Yannakakis, M.: Principles and Methods for Testing Finite State Machines. The Proceedings of the IEEE, August 1996.

    Google Scholar 

  8. Koutsofios, E., North, S.C.: Drawing Graphs with Dot. Technical Memorandum, Bell Laboratories, 1991.

    Google Scholar 

  9. Leue S., Ladkin, P., Implementing and Verifying Scenario-Based Specifications Using Promela/SPIN. Proceedings of the 2nd Spin Workshop, Rutgers University, August 5, 1996.

    Google Scholar 

  10. Ousterhout, J.: Tcl and the Tk toolkit. Addison-Wesley, 1994.

    Google Scholar 

  11. Selic, B., Gullekson, G., Ward, P.T.: Real-time object-oriented modeling. Wiley, New York, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bell Laboratories, 07974, Murray Hill, NJ, USA

    Gerard J. Holzmann

Authors
  1. Gerard J. Holzmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bengt Jonsson Joachim Parrow

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Holzmann, G.J. (1996). Formal methods for early fault detection. In: Jonsson, B., Parrow, J. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1996. Lecture Notes in Computer Science, vol 1135. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61648-9_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-61648-9_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61648-1

  • Online ISBN: 978-3-540-70653-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation