Combining k-Induction with Continuously-Refined Invariants. Beyer, D., Dangl, M., & Wendler, P. CoRR, 2015.
Combining k-Induction with Continuously-Refined Invariants [link]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