An International Survey of Industrial Applications of Formal Methods

  • Dan Craigen
  • Susan Gerhart
  • Ted Ralston
Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Abstract

At the 7th Z User Meeting, the first author gave an invited presentation on an international survey of industrial applications of formal methods. The survey was performed by the three authors in 1992. In this short paper, we briefly overview the survey and provide pointers to more extensive reports.

Keywords

Europe Karen 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    G. Archinoff, et al. Verification of the Shutdown System Software at the Darlington Nuclear Generating Station. In Proceedings of the International Conference on Control and Instrumentation in Nuclear Installations, Glasgow, Scotland, May 1990.Google Scholar
  2. [2]
    G. Barrett. Formal Methods Applied to a Floating Point Number System. IEEE Transactions on Software Engineering, 15: 611–621, 1989.CrossRefGoogle Scholar
  3. [3]
    Stephen Bear. An Overview of HP-SL. In Proceedings of VDM’91: Formal Development Methods, Volume 551, pp 571–587, Lecture Notes in Computer Science, Springer-Verlag, December 1991.Google Scholar
  4. [4]
    David Brownbridge. Using Z to Develop a CASE Toolset. In J.E. Nicholls (Ed.), Z User Workshop, Oxford 1989, pp 142–149, Workshops in Computing, Springer-Verlag, 1990.Google Scholar
  5. [5]
    Dan Craigen, Susan Gerhart, Ted Ralston. An International Survey of Industrial Applications of Formal Methods. Reports to be published by NIST, NRL, and AECB, 1993.Google Scholar
  6. [6]
    Dan Craigen, Susan Gerhart, Ted Ralston. Formal Methods Reality Check: Industrial Usage. In Proceedings of FME’93 (Formal Methods Europe), Odense, Denmark, ( April 1993 ).Google Scholar
  7. [7]
    Dan Craigen, Karen Summerskill (Eds.): Formal Methods for Trustworthy Computer Systems (FM89). Springer-Verlag, 1990.Google Scholar
  8. [8]
    George Dinolt, et al. Multinet Gateway — Towards Al Certification. In Proceedings of the IEEE Symposium on Security and Privacy, 1984.Google Scholar
  9. [9]
    David Garlan and Norman Delisle. Formal Specifications as Reusable Frameworks. VDM’90: VDM and Z!, Springer-Verlag, 1990.Google Scholar
  10. [10]
    Susan Gerhart, Dan Craigen, Ted Ralston. Observations on Industrial Practice Using Formal Methods. In Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, (May 1993).Google Scholar
  11. [11]
    G. Guiho, C. Hennebert. SACEM Software Validation. In Proceedings of the 12th International Conference on Software Engineering, 1990.Google Scholar
  12. [12]
    lain Houston and Steve King. CICS Project Report: Experiences and Results from the use of Z. In Proceedings of VDM’91: Formal Development Methods, Volume 551, pp 588–596, Lecture Notes in Computer Science, Springer-Verlag, December 1991.Google Scholar
  13. [13]
    D. Richard Kuhn and James F. Dray. Formal Specification and Verification of Control Software for Cryptographic Equipment. In Proceedings of the 6th Computer Security Applications Conference, Phoenix, Arizona, December 1990.Google Scholar
  14. [14]
    Experiences from Applications of RAISE. LaCoS project reports LACOS/CRI/CONS/13/V1 and LACOS/CRI/CONS/20/V1, of June 1991 and March 1992 respectively.Google Scholar
  15. [15]
    Nancy Leveson, et al. Experiences using Statecharts for a System Requirements Specification. Submitted for publication.Google Scholar
  16. [16]
    Richard Linger and Harlan Mills. A Case Study in Cleanroom Software Engineering: the IBM COBOL Structuring Facility. COMPSAC, IEEE Computer Society, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Dan Craigen
    • 1
  • Susan Gerhart
    • 2
  • Ted Ralston
    • 3
  1. 1.ORACanada
  2. 2.National Science FoundationUSA
  3. 3.Ralston Research AssociatesUSA

Personalised recommendations