{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:08:03Z","timestamp":1776305283794,"version":"3.50.1"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.23919\/fmcad.2018.8603009","type":"proceedings-article","created":{"date-parts":[[2019,1,9]],"date-time":"2019-01-09T01:33:52Z","timestamp":1546997632000},"page":"1-9","source":"Crossref","is-referenced-by-count":6,"title":["Template-Based Verification of Heap-Manipulating Programs"],"prefix":"10.23919","author":[{"given":"Viktor","family":"Malik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Hruska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Schrammel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomas","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040330"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2002.1029817"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_54"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89960-2_13"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/978-3-540-70545-1_36","article-title":"Scalable shape analysis for systems code","volume":"5123","author":"yang","year":"2008","journal-title":"Computer-Aided Verification Lecture Notes in Computer Science"},{"key":"ref36","year":"2017"},{"key":"ref35","first-page":"905","article-title":"2LS for Program Analysis - (Competition Contribution)","volume":"9636","author":"schrammel","year":"2016","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292552"},{"key":"ref10","first-page":"247","article-title":"Relational inductive shape analysis","author":"chang","year":"2008","journal-title":"Principles of Programming Languages"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.07.004"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44898-5_26"},{"key":"ref13","first-page":"168","article-title":"A tool for checking ANSI-C programs","volume":"2988","author":"clarke","year":"2004","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38856-9_13"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_34"},{"key":"ref18","first-page":"447","article-title":"Ultimate automizer and the search for perfect interpolants - (competition contribution)","author":"heizmann","year":"2018","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-52234-0_16"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259049"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/978-3-319-23404-5_12","article-title":"Benchmarking and resource measurement","volume":"9232","author":"beyer","year":"2015","journal-title":"SPIE Lecture Notes in Computer Science"},{"key":"ref27","first-page":"611","article-title":"Decidable logics combining heap structures and data","author":"madhusudan","year":"2011","journal-title":"Principles of Programming Languages"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-3-642-22110-1_16","article-title":"CPAchecker: A Tool for Configurable Software Verification","volume":"6086","author":"beyer","year":"2011","journal-title":"Computer-Aided Verification Lecture Notes in Computer Science"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_5"},{"key":"ref29","first-page":"221","author":"m\u00f8ller","year":"2001","journal-title":"Programming Language Design and Implementation"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993566"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-3-662-48288-9_9","article-title":"Safety Verification and Refutation by k-Invariants and k-Induction","volume":"9291","author":"brain","year":"2015","journal-title":"Static Analysis Symposium Lecture Notes in Computer Science"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_23"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/978-3-642-22110-1_15","article-title":"SLAyer: Memory Safety for Systems-Level Code","volume":"6806","author":"berdine","year":"2011","journal-title":"Computer-Aided Verification Lecture Notes in Computer Science"},{"key":"ref9","first-page":"442","article-title":"SYMBIOTIC 5: Boosted instrumentation - (competition contribution)","volume":"10806","author":"chalupa","year":"2018","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02444-8_17"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535854"},{"key":"ref22","first-page":"226","author":"jensen","year":"1997","journal-title":"Programming Language Design and Implementation"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_3"},{"key":"ref24","first-page":"321","article-title":"Abstract storage structures","author":"jonkers","year":"1981","journal-title":"Algorithmic Languages"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582161"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/978-3-642-11957-6_21","article-title":"Separating shape graphs. In: European Symposium on Programming","volume":"6012","author":"laviron","year":"2010","journal-title":"Lecture Notes in Computer Science"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2931098"}],"event":{"name":"2018 Formal Methods in Computer Aided Design (FMCAD)","location":"Austin, TX","start":{"date-parts":[[2018,10,30]]},"end":{"date-parts":[[2018,11,2]]}},"container-title":["2018 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8585253\/8602989\/08603009.pdf?arnumber=8603009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T01:25:38Z","timestamp":1643160338000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8603009\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":37,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2018.8603009","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}