SMT-AI: an Abstract Interpreter as Oracle for k-induction. Roux, P., Delmas, R., & Garoche, P. Electr. Notes Theor. Comput. Sci. (ENTCS), 267(2):55-68, 2010.
SMT-AI: an Abstract Interpreter as Oracle for k-induction [link]Paper  bibtex   
@article{ dblp2717450,
  title = {SMT-AI: an Abstract Interpreter as Oracle for k-induction},
  author = {Pierre Roux and Remi Delmas and Pierre-Loïc Garoche},
  author_short = {Roux, P. and Delmas, R. and Garoche, P.},
  bibtype = {article},
  type = {article},
  year = {2010},
  key = {dblp2717450},
  id = {dblp2717450},
  biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/RouxDG10},
  url = {http://dx.doi.org/10.1016/j.entcs.2010.09.018},
  journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},
  pages = {55-68},
  number = {2},
  volume = {267},
  text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 267(2):55-68 (2010)}
}

Downloads: 0