{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:48:09Z","timestamp":1749124089096},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609735"},{"type":"electronic","value":"9783540497493"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60973-3_92","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:08:42Z","timestamp":1330290522000},"page":"268-286","source":"Crossref","is-referenced-by-count":16,"title":["Deduction in the Verification Support Environment (VSE)"],"prefix":"10.1007","author":[{"given":"Dieter","family":"Hutter","sequence":"first","affiliation":[]},{"given":"Bruno","family":"Langenstein","sequence":"additional","affiliation":[]},{"given":"Claus","family":"Sengler","sequence":"additional","affiliation":[]},{"given":"J\u00f6rg H.","family":"Siekmann","sequence":"additional","affiliation":[]},{"given":"Werner","family":"Stephan","sequence":"additional","affiliation":[]},{"given":"AndreasWolpers","family":"Wolpers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"16_CR1","first-page":"398","volume-title":"The B-method (software development)","author":"J. R. Abrial","year":"1991","unstructured":"J.R. Abrial, M.K.O. Lee, D.S. Neilson, P.N. Scharbach, and I.H. Sorensen. The B-method (software development). In W.J. Prehn, S. Toetenel, editor, VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe Proceedings., volume 2, pages 398\u2013405. BP Res., Sunbury Res. Centre, Sunbury-on-Thames, UK, Springer-Verlag, Berlin, Germany, October 1991."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"P. Baur, E. Canver, J. Cleve, R. Drexler, R. F\u00f6rster, P. G\u00f6hner, H. Hauff, D. Hutter, P. Kejwal, D. Loevenich, W. Reif, C. Sengler, W. Stephan, M. Ullmann, and A. Wolpers. The Verification Support Environment VSE. In Safety of Computer Control Systems 1992 (SAFECOMP'92), 1992.","DOI":"10.1016\/B978-0-08-041893-3.50016-1"},{"key":"16_CR3","first-page":"672","volume-title":"Lecture Notes in Computer Science (LNCS) 230","author":"S. Biundo","year":"1986","unstructured":"Susanne Biundo, Birgit Hummel, Dieter Hutter, and Christoph Walther. The Karlsruhe Induction Theorem Proving System. In J\u00f6rg H. Siekmann, editor, Proceedings 8 th International Conference on Automated Deduction (CADE), Lecture Notes in Computer Science (LNCS) 230, pages 672\u2013674, Oxford, England, 1986. Springer-Verlag, Berlin, Germany."},{"key":"16_CR4","volume-title":"A Computational Logic","author":"R. S. Boyer","year":"1979","unstructured":"R. S. Boyer and J. Strother Moore. A Computational Logic. Academic Press, London, England, 1979."},{"key":"16_CR5","unstructured":"The B-Toolkit. B-Core(UK) Limited, October 1994."},{"key":"16_CR6","unstructured":"M.J.C. Gordon and T.F. Melham. Introduction to HOL. Cambridge University Press, 1993."},{"key":"16_CR7","first-page":"115","volume-title":"volume 449 of Lecture Notes in Artificial Intelligence (LNAI)","author":"M. Heisel","year":"1990","unstructured":"Maritta Heisel, Wolfgang Reif, and Werner Stephan. Tactical Theorem Proving in Program Verification. In Proceedings of the 10 th International Conference on Automated Deduction, volume 449 of Lecture Notes in Artificial Intelligence (LNAI), pages 115\u2013131. Springer-Verlag, Berlin, Germany, 1990."},{"key":"16_CR8","first-page":"147","volume-title":"Lecture Notes in Artificial Intelligence (LNAI) 449","author":"D. Hutter","year":"1990","unstructured":"Dieter Hutter. Guiding induction proofs. In Mark E. Stickel, editor, Proceedings 10 th International Conference on Automated Deduction (CADE), Lecture Notes in Artificial Intelligence (LNAI) 449, pages 147\u2013161, Kaiserslautern, Germany, July 1990. Springer-Verlag, Berlin, Germany."},{"key":"16_CR9","unstructured":"IT-Sicherheitskriterien. Bundesanzeiger, 1989."},{"key":"16_CR10","unstructured":"Cliff B. Jones. Systematic Software Development using VDM. Prentice Hall, 1990."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3), 1994.","DOI":"10.1145\/177492.177726"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"V. R. Pratt. Semantical Considerations on Floyd-Hoare Logic. In Proc. 17th IEEE Symp. on Foundations of Computer Science, pages 109\u2013121, October 1976.","DOI":"10.1109\/SFCS.1976.27"},{"key":"16_CR13","volume-title":"volume 620 of Lecture Notes in Computer Science (LNCS)","author":"W. Reif","year":"1992","unstructured":"Wolfgang Reif. Correctness of Generic Modules. In Nerode and Taitslin, editors, Symposium on Software Technology and Theoretical Computer Science, volume 620 of Lecture Notes in Computer Science (LNCS). Springer-Verlag, Berlin, Germany, 1992. Tver, Russia."},{"key":"16_CR14","series-title":"volume 652 of LNCS","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"W. Reif","year":"1992","unstructured":"Wolfgang Reif. Verification of Large Software Systems. In Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, volume 652 of LNCS. Springer-Verlag, Berlin, Germany, 1992. New Dehli, India."},{"key":"16_CR15","unstructured":"J. Rushby, F. von Henke, and S. Owre. An Introduction to Formal Specification and Verification using EHDM. Technical report, SRI International, March 1991."},{"key":"16_CR16","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Series in Computer Science. Prentice Hall International, 2nd edition, 1992."},{"key":"16_CR17","unstructured":"Sprachbeschreibung VSE-SL, 1994. Version 1."}],"container-title":["Lecture Notes in Computer Science","FME'96: Industrial Benefit and Advances in Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60973-3_92.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:16Z","timestamp":1605646996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60973-3_92"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609735","9783540497493"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60973-3_92","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}