{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:00:54Z","timestamp":1742385654712},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.23919\/fmcad.2018.8603005","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":4,"title":["Using Loop Bound Analysis For Invariant Generation"],"prefix":"10.23919","author":[{"given":"Pavel","family":"Cadek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clemens","family":"Danninger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moritz","family":"Sinn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Zuleger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","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 - 24th International Conference TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2018"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2012.11.003"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_18"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9402-4"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_50"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2015.7542264"},{"key":"ref19","first-page":"512","article-title":"Tighter loop bound analysis","author":"?adek","year":"0","journal-title":"Automated Technology for Verification and Analysis - 14th International Symposium ATVA 2016"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_10"},{"key":"ref6","first-page":"452","article-title":"Ultimate taipan with dynamic block encoding - (competition contribution)","author":"dietsch","year":"2018","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2018"},{"key":"ref5","first-page":"457","article-title":"Veriabs: Verification by abstraction and test generation - (competition contribution)","author":"darke","year":"2018","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2018"},{"key":"ref8","first-page":"127","article-title":"SPEED: Precise and efficient static estimation of program computational complexity","author":"gulwani","year":"2009","journal-title":"POPL"},{"key":"ref7","first-page":"550","article-title":"Lower runtime bounds for integer programs","author":"frohn","year":"2016","journal-title":"Automated Reasoning - 8th International Joint Conference IJCAR 2016"},{"key":"ref2","first-page":"117","article-title":"Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs","author":"alias","year":"2010","journal-title":"SAS volume 6337 of LNCS"},{"journal-title":"Evaluation and Experiment","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806630"},{"journal-title":"CBMC","year":"0","key":"ref20"},{"journal-title":"SV-COMP","year":"0","key":"ref22"},{"journal-title":"Cbench","year":"0","key":"ref21"}],"event":{"name":"2018 Formal Methods in Computer Aided Design (FMCAD)","start":{"date-parts":[[2018,10,30]]},"location":"Austin, TX","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\/08603005.pdf?arnumber=8603005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T00:16:12Z","timestamp":1643156172000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8603005\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2018.8603005","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}