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. 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
{"_id":{"_str":"5422819bc6071b817c000221"},"__v":0,"authorIDs":["5456f0818b01c81930000085"],"author_short":["Roux, P.","Delmas, R.","Garoche, P."],"bibbaseid":"roux-delmas-garoche-smtaianabstractinterpreterasoracleforkinduction-2010","bibdata":{"title":"SMT-AI: an Abstract Interpreter as Oracle for k-induction","author":["Pierre Roux","Remi Delmas","Pierre-Loïc Garoche"],"author_short":["Roux, P.","Delmas, R.","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)","bibtex":"@article{ dblp2717450,\n title = {SMT-AI: an Abstract Interpreter as Oracle for k-induction},\n author = {Pierre Roux and Remi Delmas and Pierre-Loïc Garoche},\n author_short = {Roux, P. and Delmas, R. and Garoche, P.},\n bibtype = {article},\n type = {article},\n year = {2010},\n key = {dblp2717450},\n id = {dblp2717450},\n biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/RouxDG10},\n url = {http://dx.doi.org/10.1016/j.entcs.2010.09.018},\n journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},\n pages = {55-68},\n number = {2},\n volume = {267},\n text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 267(2):55-68 (2010)}\n}","bibbaseid":"roux-delmas-garoche-smtaianabstractinterpreterasoracleforkinduction-2010","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.entcs.2010.09.018"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/entcs/RouxDG10","creationDate":"2014-09-24T08:32:27.997Z","downloads":0,"keywords":[],"search_terms":["smt","abstract","interpreter","oracle","induction","roux","delmas","garoche"],"title":"SMT-AI: an Abstract Interpreter as Oracle for k-induction","year":2010,"dataSources":["Mk4QBdGwShEhQMx4b"]}