Combining k-Induction with Continuously-Refined Invariants. Beyer, D., Dangl, M., & Wendler, P. CoRR, 2015.
Paper bibtex @article{DBLP:journals/corr/0001DW15,
author = {Dirk Beyer and
Matthias Dangl and
Philipp Wendler},
title = {Combining k-Induction with Continuously-Refined Invariants},
journal = {CoRR},
volume = {abs/1502.00096},
year = {2015},
url = {http://arxiv.org/abs/1502.00096},
timestamp = {Mon, 02 Mar 2015 00:00:00 +0100},
biburl = {http://dblp.dagstuhl.de/rec/bib/journals/corr/0001DW15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
Downloads: 0
{"_id":"L7jrFgwpfSLr6mGP2","bibbaseid":"beyer-dangl-wendler-combiningkinductionwithcontinuouslyrefinedinvariants-2015","downloads":0,"creationDate":"2017-02-19T18:08:59.395Z","title":"Combining k-Induction with Continuously-Refined Invariants","author_short":["Beyer, D.","Dangl, M.","Wendler, P."],"year":2015,"bibtype":"article","biburl":"http://dblp.org/pers/tb2/w/Wendler:Philipp","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Dirk"],"propositions":[],"lastnames":["Beyer"],"suffixes":[]},{"firstnames":["Matthias"],"propositions":[],"lastnames":["Dangl"],"suffixes":[]},{"firstnames":["Philipp"],"propositions":[],"lastnames":["Wendler"],"suffixes":[]}],"title":"Combining k-Induction with Continuously-Refined Invariants","journal":"CoRR","volume":"abs/1502.00096","year":"2015","url":"http://arxiv.org/abs/1502.00096","timestamp":"Mon, 02 Mar 2015 00:00:00 +0100","biburl":"http://dblp.dagstuhl.de/rec/bib/journals/corr/0001DW15","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@article{DBLP:journals/corr/0001DW15,\n author = {Dirk Beyer and\n Matthias Dangl and\n Philipp Wendler},\n title = {Combining k-Induction with Continuously-Refined Invariants},\n journal = {CoRR},\n volume = {abs/1502.00096},\n year = {2015},\n url = {http://arxiv.org/abs/1502.00096},\n timestamp = {Mon, 02 Mar 2015 00:00:00 +0100},\n biburl = {http://dblp.dagstuhl.de/rec/bib/journals/corr/0001DW15},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Beyer, D.","Dangl, M.","Wendler, P."],"key":"DBLP:journals/corr/0001DW15","id":"DBLP:journals/corr/0001DW15","bibbaseid":"beyer-dangl-wendler-combiningkinductionwithcontinuouslyrefinedinvariants-2015","role":"author","urls":{"Paper":"http://arxiv.org/abs/1502.00096"},"downloads":0},"search_terms":["combining","induction","continuously","refined","invariants","beyer","dangl","wendler"],"keywords":[],"authorIDs":[],"dataSources":["BKqo3YTQ52yFWpxCy"]}