{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:34:54Z","timestamp":1725510894410},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672616"},{"type":"electronic","value":"9783540464280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46428-x_25","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T22:01:06Z","timestamp":1185919266000},"page":"363-366","source":"Crossref","is-referenced-by-count":68,"title":["Formal System Development with KIV"],"prefix":"10.1007","author":[{"given":"Michael","family":"Balser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","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"}]},{"given":"Andreas","family":"Thums","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"25_CR1","unstructured":"CCIB-98-026. Common Criteria for Information Technology Security Evaluation, Version 2.0. ISO\/IEC JTC 1, May 1998. available at \n                    http:\/\/www.csrc.nist.gov\/cc\n                    \n                  ."},{"key":"25_CR2","unstructured":"CoFI: The Common Framework Initiative. Casl \u2014 the CoFI algebraic specification language tentative design: Language summary, 1997. Available at \n                    http:\/\/www.brics.dk\/Projects\/CoFI\n                    \n                  ."},{"key":"25_CR3","series-title":"Lect Notes Comput Sci","volume-title":"DIMACS Workshop on Graph Drawing\u2019 94. Proceedings","author":"M. Fr\u00f6hlich","year":"1994","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\u2019 94. Proceedings, LNCS 894, Berlin, 1994. Princeton (USA), Springer. \n                    http:\/\/www.informatik.uni-bremen.de\/~davinci\/\n                    \n                  ."},{"key":"25_CR4","unstructured":"G. Schellhorn. Verifikation abstrakter Zustandsmaschinen. PhD thesis, Universit\u00e4t Ulm, Fakult\u00e4t f\u00fcr Informatik, 1999. (to appear, in German)."},{"key":"25_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Computer Science Logic","author":"Y. Gurevich","year":"1993","unstructured":"Y. Gurevich and J. Huggins. The semantics of the c programming language. In E. B\u00f6rger, H. Kleine B\u00fcning, G. J\u00e4ger, S. Martini, and M.M. Richter, editors, Computer Science Logic. Springer LNCS 702, 1993."},{"key":"25_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","volume-title":"First Order Dynamic Logic","author":"D. Harel","year":"1979","unstructured":"D. Harel. First Order Dynamic Logic. LNCS 68. Springer, Berlin, 1979."},{"key":"25_CR7","unstructured":"ITSEC. Information Technology Security Evaluation Criteria, Version 1.2. Office for Official Publications of the European Communities, June 1991."},{"key":"25_CR8","series-title":"Lect Notes Comput Sci","volume-title":"2nd Conf. on Rewriting Techniques and Applications. Proceedings","author":"S. Kaplan","year":"1987","unstructured":"S. Kaplan. A compiler for conditional term rewriting systems. In 2nd Conf. on Rewriting Techniques and Applications. Proceedings. Bordeaux, France, Springer LNCS 256, 1987."},{"key":"25_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015471","volume-title":"KORSO: Methods, Languages, and Tools for the Construction of Correct Software \u2014 Final Report","author":"W. Reif","year":"1995","unstructured":"W. Reif. The KIV-approach to Software Verification. In M. Broy and S. J\u00e4hnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software \u2014 Final Report, LNCS 1009. Springer, Berlin, 1995."},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"W. Reif, G. Schellhorn, and K. Stenzel. Interactive Correctness Proofs for Software Modules Using KIV. In COMPASS\u201995 \u2014 Tenth Annual Conference on Computer Assurance, Gaithersburg (MD), USA, 1995. IEEE press.","DOI":"10.1109\/CMPASS.1995.521894"},{"key":"25_CR11","volume-title":"Automated Deduction \u2014 A Basis for Applications","author":"W. Reif","year":"1998","unstructured":"W. Reif, G. Schellhorn, K. Stenzel, and M. Balser. Structured specifications and interactive proofs with KIV. In W. Bibel and P. Schmitt, editors, Automated Deduction \u2014 A Basis for Applications. Kluwer Academic Publishers, Dordrecht, 1998."},{"key":"25_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1007\/3-540-57529-4_61","volume-title":"Foundation of Software Technology and Theoretical Computer Science. Proceedings","author":"W. Reif","year":"1993","unstructured":"W. Reif and K. Stenzel. Reuse of Proofs in Software Verification. In R. Shyamasundar, editor, Foundation of Software Technology and Theoretical Computer Science. Proceedings, LNCS 761, pages 284\u2013293, Berlin, 1993. Bombay, India, Springer."},{"issue":"4","key":"25_CR13","first-page":"377","volume":"3","author":"G. Schellhorn","year":"1997","unstructured":"G. Schellhorn and W. Ahrendt. Reasoning about Abstract State Machines: The WAM Case Study. Journal of Universal Computer Science (J.UCS), 3(4):377\u2013413, 1997. Available at \n                    http:\/\/www.hyperg.iicm.tu-graz.ac.at\/jucs\/\n                    \n                  .","journal-title":"Journal of Universal Computer Science (J.UCS)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46428-X_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T16:02:57Z","timestamp":1550419377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46428-X_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672616","9783540464280"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-46428-x_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}