{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:08Z","timestamp":1775054348646,"version":"3.50.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319415277","type":"print"},{"value":"9783319415284","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-41528-4_24","type":"book-chapter","created":{"date-parts":[[2016,7,12]],"date-time":"2016-07-12T09:34:06Z","timestamp":1468316046000},"page":"447-453","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["RV-Match: Practical Semantics-Based Program Analysis"],"prefix":"10.1007","author":[{"given":"Dwight","family":"Guth","sequence":"first","affiliation":[]},{"given":"Chris","family":"Hathhorn","sequence":"additional","affiliation":[]},{"given":"Manasvi","family":"Saxena","sequence":"additional","affiliation":[]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,13]]},"reference":[{"issue":"6","key":"24_CR1","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.jlap.2010.03.012","volume":"79","author":"G Ro\u015fu","year":"2010","unstructured":"Ro\u015fu, G., \u015eerb\u0103nu\u0163\u0103, T.F.: An overview of the K semantic framework. J. Log. Algebr. Program. 79(6), 397\u2013434 (2010). doi:\n                      10.1016\/j.jlap.2010.03.012","journal-title":"J. Log. Algebr. Program."},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1007\/978-3-662-49674-9_55","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Dirk Beyer","year":"2016","unstructured":"Beyer, D.: Reliableand reproducible competition results with BenchExec and witnesses. In: Chechik, M., Raskin, J.-F. (eds.) Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference (TACAS 2016), (Report on SV-COMP 2016), pp. 887\u2013904 (2016). ISBN: 978-3-662-49674-9, doi:\n                      10.1007\/978-3-662-49674-9_55"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-35308-6_8","volume-title":"Certified Programs and Proofs","author":"B Campbell","year":"2012","unstructured":"Campbell, B.: An executable semantics for CompCert C. In: Hawblitzel, C., Miller, D. (eds.) CPP 2012. LNCS, vol. 7679, pp. 60\u201375. Springer, Heidelberg (2012)"},{"key":"24_CR4","doi-asserted-by":"publisher","unstructured":"Canet, G., Cuoq, P., Monate, B.: A value analysis for C programs. In: Conference Source Code Analysis and Manipulation (SCAM 2009), pp. 123\u2013124. IEEE (2009). doi:\n                      10.1109\/SCAM.2009.22","DOI":"10.1109\/SCAM.2009.22"},{"key":"24_CR5","unstructured":"Clang: Clang 3.9 documentation. \n                      http:\/\/clang.llvm.org\/docs\/index.html"},{"key":"24_CR6","unstructured":"Ellison, C.: A formal semantics of C with applications. Ph.D. thesis, University of Illinois, July 2012. \n                      http:\/\/hdl.handle.net\/2142\/34297"},{"key":"24_CR7","doi-asserted-by":"publisher","unstructured":"Ellison, C., Ro\u015fu, G.: An executable formal semantics of C with applications. In: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012), pp. 533\u2013544 (2012). doi:\n                      10.1145\/2103656.2103719","DOI":"10.1145\/2103656.2103719"},{"key":"24_CR8","unstructured":"GrammaTech: CodeSonar. \n                      http:\/\/grammatech.com\/products\/codesonar"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Hathhorn, C., Ellison, C., Ro\u015fu, G.: Defining the undefinedness of C. In: 36th Conference on Programming Language Design and Implementation (PLDI 2015) (2015)","DOI":"10.1145\/2737924.2737979"},{"key":"24_CR10","unstructured":"ISO\/IEC JTC 1, SC 22, WG 14. ISO\/IEC 9899:2011: Programming Language C Technical report International Organisation for Standardization (2012)"},{"key":"24_CR11","unstructured":"MathWorks: Polyspace Bug Finder. \n                      http:\/\/www.mathworks.com\/products\/polyspace-bug-finder"},{"key":"24_CR12","unstructured":"MathWorks: Polyspace Code Prover. \n                      http:\/\/www.mathworks.com\/products\/polyspace-code-prover"},{"key":"24_CR13","doi-asserted-by":"publisher","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavy-weight dynamic binary instrumentation. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2007), pp. 89\u2013100. ACM (2007). doi:\n                      10.1145\/1250734.1250746","DOI":"10.1145\/1250734.1250746"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Shiraishi, S., Mohan, V., Marimuthu, H.: Test suites for benchmarks of static analysis tools. In: The 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), Industrial Track (2015)","DOI":"10.1109\/ISSREW.2015.7392027"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41528-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,14]],"date-time":"2020-07-14T00:05:44Z","timestamp":1594685144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41528-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319415277","9783319415284"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41528-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"13 July 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toronto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 July 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 July 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}