{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:37Z","timestamp":1725456217693},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627814"},{"type":"electronic","value":"9783540685173"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0030647","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:10:41Z","timestamp":1133417441000},"page":"859-862","source":"Crossref","is-referenced-by-count":1,"title":["Proving system correctness with KIV"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Reif","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Schellhorn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"Stenzel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"66_CR1","unstructured":"M. Abadi, M. Burrows, B. Lampson, and G. Plotkin. A Calculus for Access Control in Distributed Systems. In J. Feigenbaum, editor, CRYPTO '91. Springer LNAI 576, 1991."},{"key":"66_CR2","doi-asserted-by":"crossref","unstructured":"Egon B\u0150rger and Dean Rosenzweig. A mathematical definition of full PROLOG. Science of Computer Programming, 1994.","DOI":"10.1016\/0167-6423(95)00006-E"},{"key":"66_CR3","doi-asserted-by":"crossref","unstructured":"T. Fuch\u00df, W. Reif, G. Schellhorn, and K. Stenzel. Three Selected Case Studies in Verification. In M. Broy and S. J\u00e4hrlichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software \u2014 Final Report. Springer LNCS 1009, 1995.","DOI":"10.1007\/BFb0015472"},{"key":"66_CR4","unstructured":"M. Fr\u00f6hlich and M. Werner. Demonstration of the interactive graph visualization system davinci. In R. Tamassia and I. Tollis, editors, DIMACS Workshop on Graph Drawing '94. Proceedings, Springer LNCS 894. Princeton (USA), 1994."},{"key":"66_CR5","doi-asserted-by":"crossref","unstructured":"S. Kaplan. A compiler for conditional term rewriting systems. In 2nd Conf. on Rewriting Techniques anf Applications. Proceedings. Bordeaux, France, Springer LNCS 256, 1987.","DOI":"10.1007\/3-540-17220-3_3"},{"key":"66_CR6","doi-asserted-by":"crossref","unstructured":"W. Reif. The KIV-approach to Software Verification. In M. Broy and S. J\u00e4hrlichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software \u2014 Final Report. Springer LNCS 1009, 1995.","DOI":"10.1007\/BFb0015471"},{"key":"66_CR7","doi-asserted-by":"crossref","unstructured":"W. Reif and K. Stenzel. Reuse of Proofs in Software Verification. In J. K\u00f6hler, editor, Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs. Montreal, Quebec, 1995.","DOI":"10.1007\/BF02745521"},{"key":"66_CR8","volume-title":"Interactive Correctness Proofs for Software Modules Using KIV","author":"W. Reif","year":"1995","unstructured":"W. Reif, G. Schellhorn, and K. Stenzel. Interactive Correctness Proofs for Software Modules Using KIV. In Tenth Annual Conference on Computer Assurance, IEEE press. NIST, Gaithersburg, MD, USA, 1995."},{"key":"66_CR9","unstructured":"G. Schellhorn and W. Ahrendt. Verification of a Prolog Compiler \u2014 First Steps with KIV. Ulmer Informatik-Berichte 96-05, Universit\u00e4t Ulm, Fakult\u00e4t f\u00fcr Informatik, 1996."},{"key":"66_CR10","doi-asserted-by":"crossref","unstructured":"D. T. Sanella and M. Wirsing. A kernel language for algebraic specification and implementation. In Coll. on Foundations of Computation Theory, Springer LNCS 158. Link\u00f6ping, Sweden, 1983.","DOI":"10.1007\/3-540-12689-9_122"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '97: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030647","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T17:49:36Z","timestamp":1683308976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030647"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627814","9783540685173"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0030647","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}