{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:23:43Z","timestamp":1743060223961,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162640"},{"type":"electronic","value":"9783642162657"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16265-7_6","type":"book-chapter","created":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T01:45:41Z","timestamp":1285897541000},"page":"59-73","source":"Crossref","is-referenced-by-count":1,"title":["Adding Change Impact Analysis to the Formal Verification of C Programs"],"prefix":"10.1007","author":[{"given":"Serge","family":"Autexier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"L\u00fcth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Metha, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. International Journal on Software Tools for Technology Transfer (STTT) (2010)","DOI":"10.1007\/s10009-010-0145-y"},{"key":"6_CR2","unstructured":"Autexier, S.: The GMoC Tool for Generic Management of Change (2010), http:\/\/www.informatik.uni-bremen.de\/dfki-sks\/omoc\/gmoc.html"},{"key":"6_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/978-3-540-32254-2_24","volume-title":"Mechanizing Mathematical Reasoning","author":"S. Autexier","year":"2005","unstructured":"Autexier, S., Hutter, D.: Formal software development in Maya. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol.\u00a02605, pp. 407\u2013432. Springer, Heidelberg (2005)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Autexier, S., M\u00fcller, N.: Semantics-based change impact analysis for heterogeneous collections of documents. In: Proc. 10th ACM Symposium on Document Engineering (DocEng 2010), UK (2010)","DOI":"10.1145\/1860559.1860580"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/3-540-46428-X_25","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Balser","year":"2000","unstructured":"Balser, M., Reif, W., Schellhorn, G., Stenzel, K., Thums, A.: Formal system development with KIV. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol.\u00a01783, pp. 363\u2013366. Springer, Heidelberg (2000)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-03359-9_2","volume-title":"Theorem Proving in Higher Order Logics","author":"E. Cohen","year":"2009","unstructured":"Cohen, E., Dahlweid, M., Hillebrand, M.A., Leinenbach, D., Moskal, M., Santen, T., Schulte, W., Tobies, S.: VCC: A practical system for verifying concurrent C. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) Theorem Proving in Higher Order Logics. LNCS, vol.\u00a05674, pp. 23\u201342. Springer, Heidelberg (2009)"},{"key":"6_CR7","unstructured":"Programming languages \u2014 C. ISO\/IEC Standard 9899:1999(E), 2nd edn. (1999)"},{"key":"6_CR8","unstructured":"Frama-C, http:\/\/frama-c.cea.fr\/ (2008)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11841883_27","volume-title":"Graph Transformations","author":"R. Gei\u00df","year":"2006","unstructured":"Gei\u00df, R., Batz, G.V., Grund, D., Hack, S., Szalkowski, A.: GrGen: A fast SPO-based graph rewriting tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 383\u2013397. Springer, Heidelberg (2006)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-642-05089-3_27","volume-title":"FM 2009: Formal Methods","author":"C. L\u00fcth","year":"2009","unstructured":"L\u00fcth, C., Walter, D.: Certifiable specification and verification of C programs. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 419\u2013434. Springer, Heidelberg (2009)"},{"key":"6_CR11","unstructured":"MISRA-C: 2004. Guidelines for the use of the C language in critical systems. MISRA Ltd. (2004)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The Heterogeneous Tool Set. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"6_CR13","unstructured":"M\u00fcller, N.: Change Management on Semi-Structured Documents. PhD thesis, School of Engineering & Science, Jacobs University Bremen (2010)"},{"key":"6_CR14","unstructured":"Safety Component for Autonomous Mobile Service Robots, SAMS (2010), http:\/\/www.sams-project.org\/"},{"key":"6_CR15","series-title":"Foundations of Computing Series","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Langauges","author":"G. Winskel","year":"1993","unstructured":"Winskel, G.: The Formal Semantics of Programming Langauges. Foundations of Computing Series. The MIT Press, Cambridge (1993)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16265-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,12]],"date-time":"2020-06-12T08:19:49Z","timestamp":1591949989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16265-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162640","9783642162657"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16265-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}