{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:36Z","timestamp":1761611316879,"version":"3.40.4"},"publisher-location":"London","reference-count":16,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198185"},{"type":"electronic","value":"9781447135562"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3556-2_1","type":"book-chapter","created":{"date-parts":[[2012,12,28]],"date-time":"2012-12-28T11:45:29Z","timestamp":1356695129000},"page":"1-5","source":"Crossref","is-referenced-by-count":25,"title":["An International Survey of Industrial Applications of Formal Methods"],"prefix":"10.1007","author":[{"given":"Dan","family":"Craigen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susan","family":"Gerhart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ted","family":"Ralston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Proceedings of the International Conference on Control and Instrumentation in Nuclear Installations","author":"G Archinoff","year":"1990","unstructured":"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."},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1109\/32.24710","volume":"15","author":"G Barrett","year":"1989","unstructured":"G. Barrett. Formal Methods Applied to a Floating Point Number System. IEEE Transactions on Software Engineering, 15: 611\u2013621, 1989.","journal-title":"Ieee Transactions on Software Engineering"},{"key":"1_CR3","first-page":"571","volume-title":"Proceedings of VDM91: Formal Development Methods, Volume 551","author":"B Stephen","year":"1991","unstructured":"Stephen Bear. An Overview of HP-SL. In Proceedings of VDM\u201991: Formal Development Methods, Volume 551, pp 571\u2013587, Lecture Notes in Computer Science, Springer-Verlag, December 1991."},{"key":"1_CR4","first-page":"142","volume-title":"Z User Workshop, Oxford 1989","author":"B David","year":"1990","unstructured":"David Brownbridge. Using Z to Develop a CASE Toolset. In J.E. Nicholls (Ed.), Z User Workshop, Oxford 1989, pp 142\u2013149, Workshops in Computing, Springer-Verlag, 1990."},{"key":"1_CR5","volume-title":"An International Survey of Industrial Applications of Formal Methods","author":"D Craigen","year":"1993","unstructured":"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."},{"key":"1_CR6","unstructured":"Dan Craigen, Susan Gerhart, Ted Ralston. Formal Methods Reality Check: Industrial Usage. In Proceedings of FME\u201993 (Formal Methods Europe), Odense, Denmark, ( April 1993 )."},{"key":"1_CR7","volume-title":"Springer-verlag","author":"D Craigen","year":"1990","unstructured":"Dan Craigen, Karen Summerskill (Eds.): Formal Methods for Trustworthy Computer Systems (FM89). Springer-Verlag, 1990."},{"key":"1_CR8","volume-title":"Proceedings of the Ieee Symposium on Security and Privacy","author":"D Garlan","year":"1984","unstructured":"George Dinolt, et al. Multinet Gateway \u2014 Towards Al Certification. In Proceedings of the IEEE Symposium on Security and Privacy, 1984."},{"key":"1_CR9","volume-title":"Vdm90","author":"D Garlan","year":"1990","unstructured":"David Garlan and Norman Delisle. Formal Specifications as Reusable Frameworks. VDM\u201990: VDM and Z!, Springer-Verlag, 1990."},{"key":"1_CR10","unstructured":"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)."},{"key":"1_CR11","volume-title":"Proceedings of the 12th International Conference on Software Engineering","author":"G Guiho","year":"1990","unstructured":"G. Guiho, C. Hennebert. SACEM Software Validation. In Proceedings of the 12th International Conference on Software Engineering, 1990."},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1007\/3-540-54834-3_34","volume-title":"Proceedings of VDM91: Formal Development Methods, Volume 551","author":"L Houston","year":"1991","unstructured":"lain Houston and Steve King. CICS Project Report: Experiences and Results from the use of Z. In Proceedings of VDM\u201991: Formal Development Methods, Volume 551, pp 588\u2013596, Lecture Notes in Computer Science, Springer-Verlag, December 1991."},{"key":"1_CR13","unstructured":"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."},{"key":"1_CR14","unstructured":"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."},{"key":"1_CR15","unstructured":"Nancy Leveson, et al. Experiences using Statecharts for a System Requirements Specification. Submitted for publication."},{"key":"1_CR16","volume-title":"The Ibm Cobol Structuring Facility","author":"R Linger","year":"1988","unstructured":"Richard Linger and Harlan Mills. A Case Study in Cleanroom Software Engineering: the IBM COBOL Structuring Facility. COMPSAC, IEEE Computer Society, 1988."}],"container-title":["Workshops in Computing","Z User Workshop, London 1992"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3556-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:18:31Z","timestamp":1745939911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3556-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198185","9781447135562"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3556-2_1","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}