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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
G. Barrett. Formal Methods Applied to a Floating Point Number System. IEEE Transactions on Software Engineering, 15: 611–621, 1989.
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.
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.
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.
Dan Craigen, Susan Gerhart, Ted Ralston. Formal Methods Reality Check: Industrial Usage. In Proceedings of FME’93 (Formal Methods Europe), Odense, Denmark, ( April 1993 ).
Dan Craigen, Karen Summerskill (Eds.): Formal Methods for Trustworthy Computer Systems (FM89). Springer-Verlag, 1990.
George Dinolt, et al. Multinet Gateway — Towards Al Certification. In Proceedings of the IEEE Symposium on Security and Privacy, 1984.
David Garlan and Norman Delisle. Formal Specifications as Reusable Frameworks. VDM’90: VDM and Z!, Springer-Verlag, 1990.
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).
G. Guiho, C. Hennebert. SACEM Software Validation. In Proceedings of the 12th International Conference on Software Engineering, 1990.
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.
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.
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.
Nancy Leveson, et al. Experiences using Statecharts for a System Requirements Specification. Submitted for publication.
Richard Linger and Harlan Mills. A Case Study in Cleanroom Software Engineering: the IBM COBOL Structuring Facility. COMPSAC, IEEE Computer Society, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Craigen, D., Gerhart, S., Ralston, T. (1993). An International Survey of Industrial Applications of Formal Methods. In: Bowen, J.P., Nicholls, J.E. (eds) Z User Workshop, London 1992. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3556-2_1
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3556-2_1
Publisher Name: Springer, London
Print ISBN: 978-3-540-19818-5
Online ISBN: 978-1-4471-3556-2
eBook Packages: Springer Book Archive